rem: sidebar_open_default_panel(100, 0); 
add: sidebar_refresh(); 
context: function SidebarReload() {  sidebar_open_default_panel(100, 0);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8bd01326a3d5f218e6b8becb7294cf0e0374f6b9/sidebarOverlay.js/buggy/xpfe/components/sidebar/resources/sidebarOverlay.js