rem: var is_hidden = sidebarBox.getAttribute('hidden'); 
add: var is_hidden = sidebar_box.getAttribute('hidden'); 
context: function SidebarShowHide() {  var sidebarBox = document.getElementById('sidebar-box');  var sidebar_splitter = document.getElementById('sidebar-splitter');  var is_hidden = sidebarBox.getAttribute('hidden');  if (is_hidden && is_hidden == "true") {    debug("Showing the sidebar");    sidebarBox.removeAttribute('hidden');    sidebar_splitter.removeAttribute('hidden');    sidebar_overlay_init();  } else {    debug("Hiding the sidebar");    sidebarBox.setAttribute('hidden','true');    sidebar_splitter.setAttribute('hidden','true');  }  // Immediately save persistent values  document.persist('sidebar-box', 'hidden');  persist_width();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/2a784f23d9207ad3466c082db598bfe00de13df5/sidebarOverlay.js/clean/xpfe/components/sidebar/resources/sidebarOverlay.js