Index: chrome/locale/en-US/global.properties |
=================================================================== |
--- a/chrome/locale/en-US/global.properties |
+++ b/chrome/locale/en-US/global.properties |
@@ -28,6 +28,8 @@ |
clearStats_warning=This will reset all filter hit statistics and disable counting filter hits. Do you want to proceed? |
filter_regexp_tooltip=This filter is either a regular expression or too short to be optimized. Too many of these filters might slow down your browsing. |
+filter_unknown_option=Unknown filter option |
+filter_invalid_regexp=Invalid regular expression |
filter_elemhide_duplicate_id=Only one ID of the element to be hidden can be specified |
filter_elemhide_nocriteria=No criteria specified to recognize the element to be hidden |
filter_cssproperty_nodomain=No active domain specified for CSS property filter |