rem: setTimeout("document.persist('sidebar-panels','height');",100); 
add: var title_box = document.getElementById('title-box'); if (title_box && title_box.getAttribute('type') == "splitter") { setTimeout("document.persist('sidebar-panels','height');",100); } 
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   // width has really changed.  setTimeout("document.persist('sidebar-panels','height');",100);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/1c444c1a241493afcbaba04fc3418430bf1673de/sidebarOverlay.js/clean/suite/common/sidebar/sidebarOverlay.js