| Index: chrome/content/ui/filters-search.js |
| =================================================================== |
| --- a/chrome/content/ui/filters-search.js |
| +++ b/chrome/content/ui/filters-search.js |
| @@ -206,6 +206,12 @@ |
| this._resultListeners.splice(index, 1); |
| }, |
| + getInitialSelection: function() |
| + { |
| + for (let listener of this._resultListeners) |
| + listener.onCurrentSelection(null, true); |
| + }, |
| + |
| // Irrelevant for us |
| requestMatchesCount: function(searchString, matchLimit, linksOnly) {}, |
| highlight: function(highlight, word) {}, |