rem: sidebar_open_default_panel(100, 0); 
add: sidebar_refresh(); 
context: function SidebarReload() {  sidebar_open_default_panel(100, 0);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/fac5daefc78d7a659d5602b52d4717bd8738cb19/sidebarOverlay.js/clean/suite/common/sidebar/sidebarOverlay.js