rem: console.addPref ("services.source.sourceColoring", "false"); 
add: console.addPref ("services.source.colorize", true); console.addPref ("services.source.colorizeLimit", 1500); 
context: function initJSDURL(){       console.addPref ("services.help.css",                     "chrome://venkman/skin/venkman-help.css");    console.addPref ("services.help.template",                     "chrome://venkman/locale/venkman-help.tpl");    console.addPref ("services.source.css",                     "chrome://venkman/skin/venkman-source.css");    console.addPref ("services.source.sourceColoring", "false");}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/171d43ee25fb94ca659d1f263eb012f84471dd4a/venkman-jsdurl.js/clean/extensions/venkman/resources/content/venkman-jsdurl.js