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
|
}, |
/** |