| Index: chrome/locale/en-US/global.properties |
| =================================================================== |
| --- a/chrome/locale/en-US/global.properties |
| +++ b/chrome/locale/en-US/global.properties |
| @@ -27,17 +27,17 @@ |
| remove_group_warning=Do you really want to remove this group? |
| 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 |
| +filter_elemhideemulation_nodomain=No active domain specified for extended element hiding filter |
| subscription_invalid_location=Filter list location is neither a valid URL nor a valid file name. |
| type_label_other=other |
| type_label_script=script |
| type_label_image=image |
| type_label_stylesheet=stylesheet |
| type_label_object=object |