rem: href.search (/navigator.xul($|\?)/) == -1)); 
add: href.search (/(navigator|browser).xul($|\?)/) == -1)); 
context: function isWindowFiltered (window){    var href = window.location.href;    var rv = ((href.search (/^chrome:\/\/venkman\//) != -1 &&              href.search (/test/) == -1) ||              (console.prefs["enableChromeFilter"] &&               href.search (/navigator.xul($|\?)/) == -1));    //dd ("isWindowFiltered " + window.location.href + ", returning " + rv);    return rv;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/30a2cddea8bd9b911fdb393ff892e50b9793d1cd/venkman-handlers.js/buggy/extensions/venkman/resources/content/venkman-handlers.js