6676     showPanel: function(browser, panel)  argument
6680     showSidePanel: function(browser, panel)  argument
7716             var panel = this.panelMap[name];
7717             panel.destroy();
7771         var panel = this.panelMap[panelName] = new PanelType();
7773         panel.create();
7778         var panel = this.panelMap[panelName];
7779         if (panel.hasOwnProperty(panelName))
7780             panel.destroy();
7786         var panel = this.panelMap[panelName];
7788         if (panel && selectedPanel != panel)
7797             if (!panel.parentPanel)
7800             this.selectedPanel = panel;
7802             setClass(panel.tabNode, "fbSelectedTab");
7803             panel.show();
7804             panel.initialize();
7810         var panel = this.panelMap[panelName];
7812         return panel;
8697             var panel = Firebug.chrome.selectedPanel.sidePanelBar ?
8701             if (panel && !panel.noRefresh)
8721                 var panel = Firebug.chrome.selectedPanel.sidePanelBar ?
8725                 if (panel)
8727                     if (panel.visible && !panel.editing)
8728                         panel.refresh();
8730                         panel.needsRefresh = true;
8734                     if (panel.editing)
10323             var panel = Firebug.chrome.panelMap[id];
10325             if (!panel)
10328                     panel = Firebug.chrome.selectedPanel.sidePanelBar.panelMap[id];
10331             return panel;
10584         var panel;
10588             panel = newPanelMap[name];
10589             if (panel.options.innerHTMLSync)
10590                 panel.panelNode.innerHTML = oldPanelMap[name].panelNode.innerHTML;
10716     layout: function(panel)  argument
10720         var options = panel.options;
10723         changeSidePanelVisibility(panel.hasSidePanel);
16645                 var panel = context.getPanel("stylesheet");
16646                 if (panel && panel.getRuleByLine(stylesheet, sourceLink.line))
16936             var panel = Firebug.getElementPanel(event.target);
16937             this.inspectObject(target.repObject, panel.context);
16950                     var panel = Firebug.getElementPanel(event.target);
16951                     dispatch([Firebug.A11yModel], "onLogRowContentCreated", [panel , traceBox]);
17307         var panel = Firebug.getElementPanel(target);
17308         if (!panel.editable)
17327         currentPanel = panel;
17340         setClass(panel.panelNode, "editing");
17350         this.attachListeners(currentEditor, panel.context);
17673     showPanel: function(browser, panel)  argument
17692     show: function(target, panel, value, textSize, targetSize)  argument
17860     show: function(target, panel, value, targetSize)  argument
17864         this.panel = panel;
17929             panel.panelNode.appendChild(this.box);
17991         delete this.panel;
18580 var getDefaultEditor = function getDefaultEditor(panel)  argument
18584         var doc = panel.document;
19311         var panel = context.getPanel(panelName, true);
19312         if (panel)
19313             panel.clear();
19746                     var panel = context.getPanel("net", true);
19747                     panel.openResponseInTab(file);
21709             var panel = this.getPanel(context);
21710             if (panel)
21712                 var row = panel.append(appender, objects, className, rep, sourceLink, noRow);
21713                 var container = panel.panelNode;
21752         var panel = this.getPanel(context);
21753         panel.appendFormatted(args, row);
21767         var panel = this.getPanel(context, true);
21768         if (panel)
21770             panel.clear();
21820     showPanel: function(browser, panel)  argument
21918              var panel = context.getPanel(this.panelName);
21919              panel.clearReloadWarning();
21926         var panel = context.getPanel(this.panelName);
21927         panel.persistContent = panel.persistContent ? false : true;
21928 …    Firebug.chrome.setGlobalAttribute("cmd_togglePersistConsole", "checked", panel.persistContent);
25254     showInfoTip: function(infoTip, panel, target, x, y, rangeParent, rangeOffset)  argument
25262         if (panel.showInfoTip(infoTip, target, scrollX, y, rangeParent, rangeOffset))
25357     showPanel: function(browser, panel)  argument
25359         if (panel)
25361             var infoTip = panel.panelBrowser.infoTip;
25363                 infoTip = this.initializeBrowser(panel.panelBrowser);
25369     showSidePanel: function(browser, panel)  argument
25371         this.showPanel(browser, panel);
28438         this.panel.markChange(this.panel.name == "stylesheet");
28508         var styleSheet = this.panel.location;
28579         this.panel.markChange(this.panel.name == "stylesheet");
28610     show: function(target, panel, value, textSize, targetSize)  argument
28613         this.panel = panel;
28615         this.panel.panelNode.appendChild(this.box);
28629         if (this.box.parentNode == this.panel.panelNode)
28630             this.panel.panelNode.removeChild(this.box);
28633         delete this.panel;
28644         this.panel.refresh();
28787 function scrollSelectionIntoView(panel)  argument
28789     var selCon = getSelectionController(panel);
28795 function getSelectionController(panel)  argument
28797     var browser = Firebug.chrome.getPanelBrowser(panel);
29251                 var panel = row.parentNode.parentNode.domPanel;
29252                 if (panel)
29254                     var rowValue = panel.getRowPropertyValue(row);
29256                         panel.setPropertyValue(row, !rowValue);
29258                         panel.editProperty(row);
29425         var panel = this;
30174 var updateStatusBar = function(panel)  argument
30176     var path = panel.propertyPath;
30177     var index = panel.pathIndex;
30197     panel.statusBarNode.innerHTML = r.join("");
30899     var panel = this.getPanel();
30901     if (panel && panel.panelNode)