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