rem: sidebarOverlayInit() 
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\n")    sidebar.setAttribute('hidden','')    sidebar_splitter.setAttribute('hidden','')    sidebarOverlayInit()  } else {    debug("Hiding the sidebar\n")    sidebar.setAttribute('hidden','true')    sidebar_splitter.setAttribute('hidden','true')  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b0a5a95a112925bcd2ae99e3256a9b533b2e63e2/sidebarOverlay.js/buggy/suite/common/sidebar/sidebarOverlay.js