Index: chrome/content/watcher.js |
=================================================================== |
--- a/chrome/content/watcher.js |
+++ b/chrome/content/watcher.js |
@@ -405,17 +405,17 @@ var treeView = { |
this.refilter(); |
}, |
filter: function(entry) |
{ |
if (this._filterString) |
{ |
let foundMatch = false; |
- for (let label of entry.cols) |
+ for (let [col, label] of new Iterator(entry.cols)) |
if (label.toLowerCase().indexOf(this._filterString) >= 0) |
foundMatch = true; |
if (!foundMatch) |
return false; |
} |
return true; |
}, |