rem: setOption: function(event) { var menuitem = event.target; var label = menuitem.getAttribute("label"); var category = 'DBG_'+label; FBTrace[category] = !FBTrace[category]; Firebug.setPref(category, FBTrace[category] );  if (FBTrace.DBG_OPTIONS) FBTrace.sysout("tracePanel.setOption: "+prefDomain +"." + category + " = " + FBTrace[category] + "\n"); }, 
add: setOption: function(event) { var menuitem = event.target; var label = menuitem.getAttribute("label"); var category = 'DBG_'+label; FBTrace[category] = !FBTrace[category]; Firebug.setPref(category, FBTrace[category] );  if (FBTrace.DBG_OPTIONS) FBTrace.sysout("tracePanel.setOption: "+prefDomain +"." + category + " = " + FBTrace[category] + "\n"); }, 
context: 	setOption: function(event) 	{		var menuitem = event.target;		var label = menuitem.getAttribute("label");		var category = 'DBG_'+label;		FBTrace[category] = !FBTrace[category];		Firebug.setPref(category, FBTrace[category] );		//prefs.setBoolPref(prefDomain +"." + category, FBTrace[category]);		if (FBTrace.DBG_OPTIONS)			FBTrace.sysout("tracePanel.setOption: "+prefDomain +"." + category + " = " + FBTrace[category] + "\n");	},
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/tracePanel.js/buggy/extension/content/firebug/tracePanel.js