Unified Diff: chrome/locale/en-US/filters.dtd
Issue 5062082168881152:
NO BUG Allow users to disable element hiding (Closed)
Patch Set:
Created Feb. 18, 2015, 1:47 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« chrome/content/ui/filters-subscriptionview.js ('k')
|
defaults/prefs.js » ('j')
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: chrome/locale/en-US/filters.dtd |
| =================================================================== |
| --- a/chrome/locale/en-US/filters.dtd |
| +++ b/chrome/locale/en-US/filters.dtd |
| @@ -36,16 +36,18 @@ |
| <!ENTITY subscription.showHideFilters.label "Show/hide filters"> |
| <!ENTITY subscription.moveUp.label "Move up"> |
| <!ENTITY subscription.moveDown.label "Move down"> |
| <!ENTITY acceptableAds2.label "Allow some non-&intrusive advertising"> |
| <!ENTITY viewList.label "View list"> |
| <!ENTITY readMore.label "Read more"> |
| +<!ENTITY useElementHiding.label "Use Element Hiding filters"> |
| + |
| <!ENTITY addGroup.label "Add filter &group"> |
| <!ENTITY noFilters.text " |
| You don't have any custom filters yet. |
| "> |
| <!ENTITY addFilter.label "A&dd filter"> |
| <!ENTITY filter.actions.label "Filter actions"> |
| <!ENTITY filter.edit.label "Edit"> |
« no previous file with comments
|
« chrome/content/ui/filters-subscriptionview.js ('k')
|
defaults/prefs.js » ('j')
|
no next file with comments »
