rem: var is_hidden        = sidebar.getAttribute('hidden'); 
add: var is_hidden = sidebar.getAttribute('hidden'); 
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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/7d88edd487e67f598d9abc9d2d290e7b1af25d09/sidebarOverlay.js/clean/suite/common/sidebar/sidebarOverlay.js