| 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 |