    destroyTabContext: function(browser, context)    {        if (context)        {            // Persist remnants of the context for restoration if the user reloads            context.browser.panelName = context.panelName;            context.browser.sidePanelNames = context.sidePanelNames;            if (browser.detached || context == FirebugContext)            {                clearContextTimeout = setTimeout(function()                {                    if (context == FirebugContext)                    {                        browser.isSystemPage = true;                        Firebug.showContext(browser, null);                    }                }, 100);                                browser.chrome.clearPanels();            }            if (context.externalChrome)                this.killWindow(context.browser, context.externalChrome);        }        else if (browser.detached)            this.killWindow(browser, browser.chrome);    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/0fdfc663d6e6e0d4a6043b4035a0f87f31c76c2d/firebug.js/buggy/extension/content/firebug/firebug.js