context:     syncSidePanels: function()    {        var panelTypes = Firebug.getSidePanelTypes(FirebugContext, panelBar1.selectedPanel);        panelBar2.updatePanels(panelTypes);        if (FirebugContext)        {            var sidePanelName = FirebugContext.sidePanelNames[FirebugContext.panelName];            sidePanelName = getBestSidePanelName(sidePanelName, panelTypes);// FF3: if the next line is commented out, Fbug allows FF to paint page when HTML with DOMside panels are up, else not.            panelBar2.selectPanel(sidePanelName);        }        else            panelBar2.selectPanel(null);            sidePanelDeck.selectedPanel = panelBar2;        FBL.collapse(sidePanelDeck, !panelBar2.selectedPanel);        FBL.collapse(panelSplitter, !panelBar2.selectedPanel);    },
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/chrome.js/clean/extension/content/firebug/chrome.js