rem: dd ((i++) + ": " + filter.glob + " '" + filter.urlPattern + "'"); 
add: dd (i + ": " + filter.globalObject + " '" + filter.urlPattern + "' " + filter.flags); console.filters[i++] = filter; 
context: function cmdDumpFilters(){    var i = 0;        var enumer = {        enumerateFilter: function enum_f (filter) {                             dd ((i++) + ": " + filter.glob +                                 " '" + filter.urlPattern + "'");                         }    };        console.jsds.enumerateFilters (enumer);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/0b00c41a3e25a061b8ee75b2ca92b4f133917ad7/venkman-dev.js/clean/extensions/venkman/resources/content/venkman-dev.js