rem: sidebarOverlayInit() 
add: sidebar_overlay_init() 
context: function SidebarShowHide() {  var sidebar          = document.getElementById('sidebar-box');  var sidebar_splitter = document.getElementById('sidebar-splitter');  var is_hidden        = sidebar.getAttribute('hidden');  if (is_hidden && is_hidden == "true") {    debug("Showing the sidebar");    sidebar.removeAttribute('hidden');    sidebar_splitter.removeAttribute('hidden');    sidebarOverlayInit()  } else {    debug("Hiding the sidebar");    sidebar.setAttribute('hidden','true');    sidebar_splitter.setAttribute('hidden','true');  }  // Immediately save persistent values  document.persist('sidebar-box', 'hidden');  persistWidth();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/dd354e35185844c69e7adf7bc584c90673817770/sidebarOverlay.js/buggy/suite/common/sidebar/sidebarOverlay.js