rem: debug("Hiding the sidebar") sidebar.setAttribute('hidden','true') sidebar_splitter.setAttribute('hidden','true') 
add: debug("Hiding the sidebar"); sidebar.setAttribute('hidden','true'); sidebar_splitter.setAttribute('hidden','true'); 
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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/3681663eed0a31e1dc521f2a166e5ce9ce5b3363/sidebarOverlay.js/buggy/xpfe/components/sidebar/resources/sidebarOverlay.js