add:  var is_collapsed = document.getElementById('sidebar-box'). getAttribute('collapsed') == 'true'; SidebarSetButtonOpen(!is_collapsed); 
context: function persist_width() {  // 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/89269950d52a0953573662e8e433fcc72fdf7c94/sidebarOverlay.js/clean/xpfe/components/sidebar/resources/sidebarOverlay.js