add:   document.getElementById("help-glossary-btn").removeAttribute("selected"); document.getElementById("help-index-btn").removeAttribute("selected"); document.getElementById("help-search-btn").removeAttribute("selected"); document.getElementById("help-toc-btn").removeAttribute("selected");   var theButton = document.getElementById(panelId + "-btn"); theButton.setAttribute("selected", "true"); 
context: function showPanel(panelId) {  helpSearchPanel.setAttribute("hidden", "true");  helpTocPanel.setAttribute("hidden", "true");  helpIndexPanel.setAttribute("hidden", "true");  helpGlossaryPanel.setAttribute("hidden", "true");  var thePanel = document.getElementById(panelId);  thePanel.setAttribute("hidden","false");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/0899aff595a683dad69f52cbca6853ee62258b88/help.js/clean/extensions/help/resources/content/help.js