| Index: chrome/content/ui/filters-search.js |
| =================================================================== |
| --- a/chrome/content/ui/filters-search.js |
| +++ b/chrome/content/ui/filters-search.js |
| @@ -50,6 +50,14 @@ |
| // Hack to prevent "highlight all" from getting enabled |
| findbar.toggleHighlight = function() {}; |
| + |
| + // Ignore accessibility.typeaheadfind preference to avoid findbar |
| + // being opened when interacting with filter tree |
| + Object.defineProperty(findbar, "_findAsYouType", { |
| + get: () => false, |
| + enumerable: true, |
| + configurable: true |
| + }); |
|
Wladimir Palant
2015/10/05 14:17:20
I don't think we need to disable the functionality
Thomas Greiner
2015/10/05 16:45:20
Thanks for the link, I wasn't aware of this implem
|
| }, |
| /** |