rem: if (SB_DEBUG) { var is_collapsed = document.getElementById('sidebar-box').getAttribute('collapsed') == 'true' ? true : false; debug("collapsed: " + is_collapsed); if (is_collapsed != sidebarObj.collapsed) { sidebarObj.collapsed = is_collapsed; sidebarObj.panels.refresh(); } 
add: var is_collapsed = document.getElementById('sidebar-box').getAttribute('collapsed') == 'true' ? true : false; debug("collapsed: " + is_collapsed); if (is_collapsed != sidebarObj.collapsed) { sidebarObj.panels.refresh(); 
context: function SidebarFinishClick() {  // XXX Semi-hack for bug #16516.  // If we had the proper drag event listener, we would not need this  // timeout. The timeout makes sure the width is written to disk after  // the sidebar-box gets the newly dragged width.  setTimeout("persist_width()",100);  if (SB_DEBUG) {    var is_collapsed = document.getElementById('sidebar-box').getAttribute('collapsed') == 'true' ? true : false;    debug("collapsed: " + is_collapsed);    if (is_collapsed != sidebarObj.collapsed) {      sidebarObj.collapsed = is_collapsed;      sidebarObj.panels.refresh();    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5dbd1e80da4d2f7c6b6841d5f1fcee42222f769e/sidebarOverlay.js/buggy/suite/common/sidebar/sidebarOverlay.js