rem: debug("Showing the sidebar") sidebar.setAttribute('hidden','') sidebar_splitter.setAttribute('hidden','')  
add: debug("Showing the sidebar"); sidebar.removeAttribute('hidden'); sidebar_splitter.removeAttribute('hidden'); 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")    sidebar.setAttribute('hidden','')    sidebar_splitter.setAttribute('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');  document.persist('sidebar-box', 'width');}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/de76ed16cc22a8d1056862497890d496c9a71d6c/sidebarOverlay.js/clean/suite/common/sidebar/sidebarOverlay.js