rem: 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"; } 
add: 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"; } 
context: 	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";		}    },
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/tracePanel.js/buggy/extension/content/firebug/tracePanel.js