rem: var sidebar = document.getElementById("sidebar-box"); var sidebar_splitter = document.getElementById("sidebar-splitter"); var searchPanel = document.getElementById("urn:sidebar:panel:search");  if (sidebar && sidebar_splitter && searchPanel) { var is_hidden = sidebar.getAttribute("hidden"); if (is_hidden && is_hidden == "true") {  SidebarShowHide(); } var splitter_state = sidebar_splitter.getAttribute("state"); if (splitter_state && splitter_state == "collapsed") { sidebar_splitter.removeAttribute("state"); }  SidebarSelectPanel(searchPanel); } 
add: if (searchPanel) {  SidebarSelectPanel(searchPanel, should_popopen, should_unhide); } 
context: function RevealSearchPanel(){	// rjc Note: the following is all a hack until the sidebar has appropriate APIs	// to check whether its shown/hidden, open/closed, and can show a particular panel	var sidebar = document.getElementById("sidebar-box");	var sidebar_splitter = document.getElementById("sidebar-splitter");	var searchPanel = document.getElementById("urn:sidebar:panel:search");	if (sidebar && sidebar_splitter && searchPanel)	{		var is_hidden = sidebar.getAttribute("hidden");		if (is_hidden && is_hidden == "true")		{			// SidebarShowHide() lives in sidebarOverlay.js			SidebarShowHide();		}		var splitter_state = sidebar_splitter.getAttribute("state");		if (splitter_state && splitter_state == "collapsed") {			sidebar_splitter.removeAttribute("state");		}		// SidebarSelectPanel() lives in sidebarOverlay.js		SidebarSelectPanel(searchPanel);	}}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/15a8042a607ba6ec42b8fa6fcc0d3cc1282e442c/navigator.js/clean/suite/browser/navigator.js