rem: if (width && (width > 410 || width < 15)) { 
add: if (width && (width > 410 || width < 100)) { 
context: function persist_width() {  // XXX Partial workaround for bug #19488.  var sidebar_box = document.getElementById('sidebar-box');  var width = sidebar_box.getAttribute('width');  if (width && (width > 410 || width < 15)) {    sidebar_box.setAttribute('width',168);  }  // XXX Mini hack. Persist isn't working too well. Force the persist,  // but wait until the width change has commited.  setTimeout("document.persist('sidebar-box', 'width');",100);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/840e9974b59bbc6eb541e281af695a77d013b941/sidebarOverlay.js/clean/suite/common/sidebar/sidebarOverlay.js