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.  var sidebar_title = document.getElementById('sidebar-title-box');  if (sidebar_title && sidebar_title.getAttribute('type') == "splitter") {    setTimeout("document.persist('sidebar-panels','height');",100);  }}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/3a5e9b90f0974fe36021a838b087d53f470c03b4/sidebarOverlay.js/clean/suite/common/sidebar/sidebarOverlay.js