rem: return ((console.prefs["enableChromeFilter"] && (url.search(/^chrome:/) == 0 || ("componentPath" in console && url.indexOf(console.componentPath) == 0))) || 
add: return (!url || (console.prefs["enableChromeFilter"] && (url.search(/^chrome:/) == 0 || ("componentPath" in console && url.indexOf(console.componentPath) == 0))) || 
context: function isURLFiltered (url){    return ((console.prefs["enableChromeFilter"] &&            (url.search(/^chrome:/) == 0 ||             ("componentPath" in console &&              url.indexOf(console.componentPath) == 0))) ||            (url.search (/^chrome:\/\/venkman/) == 0 &&             url.search (/test/) == -1));}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7ec7c07562a4a6645c654a8555d5969cede63345/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js