if (!FBTrace.dumpToPanel && !this.intro) { this.intro = "Use Options on this panel to turn on tracing."; this.intro += " By default output goes to system console via dump(). (You need to set browser.dom.window.dump.enabled to true in about:config)." this.intro += " You can also trace into this panel by setting the 'dump to panel' option." Firebug.TraceModule.log(this.intro, FirebugContext, "info", FirebugReps.Text, true); this.intro = "shown"; } 
    showPanel: function(browser, panel)    {        if (!panel || panel.name != "TraceFirebug")            return;        if (this.debug) FBTrace.sysout("TraceModule showPanel module:\n");        if (!FBTrace.dumpToPanel && !this.intro)        {            this.intro = "Use Options on this panel to turn on tracing.";            this.intro += " By default output goes to system console via dump(). (You need to set browser.dom.window.dump.enabled to true in about:config)."            this.intro += " You can also trace into this panel by setting the 'dump to panel' option."            Firebug.TraceModule.log(this.intro, FirebugContext, "info", FirebugReps.Text, true);            this.intro = "shown";        }    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/343c75165a613983188af73b9576a947e664ad23/tracePanel.js/clean/extension/content/firebug/tracePanel.js