Issue 4510 - Filter preferences: replace the built-in findbar widget by our own look-alike

chrome/locale/en-US/filters.dtd

Index: chrome/locale/en-US/filters.dtd
===================================================================
--- a/chrome/locale/en-US/filters.dtd
+++ b/chrome/locale/en-US/filters.dtd
@@ -85,8 +85,15 @@
 <!ENTITY backup.error                         "There was an error writing filters to the file. Make sure that the file isn't write protected or in use by another application.">
 <!ENTITY restore.error                        "The file's data could not be processed, maybe this isn't an Adblock Plus backup file?">
 <!ENTITY restore.complete.warning             "All your filter preferences will be replaced by the contents of the selected file. Do you want to proceeed?">
 <!ENTITY restore.custom.warning               "All your custom filters will be replaced by the contents of the selected file. Do you want to proceeed?">
 <!ENTITY restore.minVersion.warning           "Warning: the file has been created with a newer Adblock Plus version. You should update to the latest Adblock Plus version before restoring from this file.">
 
 <!ENTITY find.label                           "Fi&amp;nd">
 <!ENTITY close.label                          "Close">
+
+<!ENTITY findbar.placeholder                  "Find filter">
+<!ENTITY findbar.close                        "Close find bar">
+<!ENTITY findbar.caseSensitive                "Match Case">
+<!ENTITY findbar.statusWrappedStart           "Reached top, continuing from bottom">
+<!ENTITY findbar.statusWrappedEnd             "Reached bottom, continuing from top">
+<!ENTITY findbar.statusNotFound               "Phrase not found">