rem: var sidebar_style = sidebar.getAttribute("style"); if (sidebar_style) { var visibility = sidebar_style.match("visibility:([^;]*)") if (visibility) { visibility = visibility[1]; if (visibility.indexOf("collapse") >= 0) { sidebar.removeAttribute("style"); sidebar.setAttribute("style", "width:100%; height:100%; hidden:false; visibility:show;"); } } 
add: var splitter_state = sidebar_splitter.getAttribute("state"); if (splitter_state && splitter_state == "collapsed") { sidebar_splitter.removeAttribute("state"); 
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();		 	}		}		var sidebar_style = sidebar.getAttribute("style");		if (sidebar_style)		{			var visibility = sidebar_style.match("visibility:([^;]*)")			if (visibility)			{				visibility = visibility[1];				if (visibility.indexOf("collapse") >= 0)				{					sidebar.removeAttribute("style");					sidebar.setAttribute("style", "width:100%; height:100%; hidden:false; visibility:show;");				}			}		}		sidebarOpenClosePanel(searchPanel);	}}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/df0d88d861b957931ef2db3b851f5c0d1987774d/navigator.js/buggy/xpfe/browser/resources/content/navigator.js