add: debug("Forcing sidebar width to 168. It was too narror or too wide)"); 
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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/b40ce446bc39c41039ced835a72f7a3c1cfe4828/sidebarOverlay.js/clean/xpfe/components/sidebar/resources/sidebarOverlay.js