rem: sidebar.setAttribute('width',168); 
add: sidebarBox.setAttribute('width',168); 
context: function persist_width() {  // XXX Partial workaround for bug #19488.  var sidebar = document.getElementById('sidebar-box');  var sidebar_splitter = document.getElementById('sidebar-splitter');  var state = sidebar_splitter.getAttribute('state');  var width = sidebar.getAttribute('width');  if (!state || state == '' || state == 'open') {    sidebar.removeAttribute('hackforbug20546');    sidebar.setAttribute('hackforbug20546-applied','true');  }  if (width && (width > 410 || width < 15)) {    sidebar.setAttribute('width',168);  }  document.persist('sidebar-box', 'width');}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/92038590965f8ffd83b29b7a8cf4418909aa323d/sidebarOverlay.js/buggy/suite/common/sidebar/sidebarOverlay.js