rem: { var currentState = console.prefs["services.source.sourceColoring"]; if (currentState == "true") e.toggle = false; else e.toggle = true;  if (e.toggle) console.prefs["services.source.sourceColoring"] = "true"; else console.prefs["services.source.sourceColoring"] = "false"; } } 
add: e.toggle = !console.prefs["services.source.colorize"];  console.prefs["services.source.colorize"] = e.toggle; } 
context: function cmdToggleColoring (e){    if (e.toggle != null)    {        if (e.toggle == "toggle")        {            var currentState = console.prefs["services.source.sourceColoring"];            if (currentState == "true")                e.toggle = false;            else                e.toggle = true;                        if (e.toggle)                console.prefs["services.source.sourceColoring"] = "true";            else                console.prefs["services.source.sourceColoring"] = "false";        }    }        feedback (e, "pref services.source.sourceColoring");}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/171d43ee25fb94ca659d1f263eb012f84471dd4a/venkman-views.js/clean/extensions/venkman/resources/content/venkman-views.js