rem: var sidebarBox = document.getElementById('sidebar-box'); var sidebar_splitter = document.getElementById('sidebar-splitter'); var state = sidebar_splitter.getAttribute('state'); 
add: var sidebar_box = document.getElementById('sidebar-box'); 
context: function persist_width() {  // XXX Partial workaround for bug #19488.  var sidebarBox = document.getElementById('sidebar-box');  var sidebar_splitter = document.getElementById('sidebar-splitter');  var state = sidebar_splitter.getAttribute('state');  var width = sidebarBox.getAttribute('width');  if (!state || state == '' || state == 'open') {    sidebarBox.removeAttribute('hackforbug20546');    sidebarBox.setAttribute('hackforbug20546-applied','true');  }  if (width && (width > 410 || width < 15)) {    sidebarBox.setAttribute('width',168);  }  document.persist('sidebar-box', '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