Support the new findbar API

chrome/content/ui/filters-search.js

 /*
  * This file is part of Adblock Plus <http://adblockplus.org/>,
  * Copyright (C) 2006-2013 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 162 matching lines @@
     removeResultListener: function(listener)
     {
       let index = this._resultListeners.indexOf(listener);
       if (index !== -1)
         this._resultListeners.splice(index, 1);
     },
 
     // Irrelevant for us
     highlight: function(highlight, word) {},
     enableSelection: function() {},
-    focusContent: function() {}
+    removeSelection: function() {},
+    focusContent: function() {},
+    keyPress: function() {}
   },
 
   get _lastSearchString()
   {
     return this.finder.searchString;
   },
 
   // This was used before Firefox 27 instead of the "finder" property.
   fastFind:
   {
@@ skipping 64 matching lines @@
   removeEventListener: function(event, handler, capture)
   {
     E("filtersTree").addEventListener(event, handler, capture);
   },
 };
 
 window.addEventListener("load", function()
 {
   FilterSearch.init();
 }, false);