| 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; |
| }, |