context: function PersistHeight() {  // XXX Mini hack. Persist isn't working too well. Force the persist,  // but wait until the last drag has been committed.  // May want to do something smarter here like only force it if the   // height has really changed.  setTimeout("document.persist('sidebar-panels-splitter-box','height');",100);}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/a08281775b7ea22f94ea659bc4dff270e98ee43c/sidebarOverlay.js/buggy/suite/common/sidebar/sidebarOverlay.js