rem: function SidebarSelectPanel(header) { 
add: function SidebarSelectPanel(header, should_popopen, should_unhide) { debug("SidebarSelectPanel("+header+","+should_popopen+","+should_unhide+")"); 
context: function SidebarSelectPanel(header) {  var panel = sidebarObj.panels.get_panel_from_header_node(header);  panel.select(false);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e52dd093cdbcf52965504cc12eed9348db815a02/sidebarOverlay.js/buggy/xpfe/components/sidebar/resources/sidebarOverlay.js