Unified Diff: chrome/locale/en-US/overlay.dtd
Issue 4762316134416384:
Issue 1670 - Removed "Hide placeholders" option from the UI (Firefox) (Closed)
Patch Set: Removed remaining UI code, updated version check
Created Dec. 11, 2014, 10:40 a.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« chrome/content/ui/settings.xul ('k')
|
lib/ui.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/overlay.dtd |
| =================================================================== |
| --- a/chrome/locale/en-US/overlay.dtd |
| +++ b/chrome/locale/en-US/overlay.dtd |
| @@ -29,7 +29,6 @@ |
| <!ENTITY showintoolbar.label "Show in tool&bar"> |
| <!ENTITY showinstatusbar.label "&Show in status bar"> |
| <!ENTITY objecttabs.label "Show &tabs on Flash and Java"> |
| -<!ENTITY hideplaceholders.label "Hide p&laceholders of blocked elements"> |
| <!ENTITY counthits.label "Count filter &hits"> |
| <!ENTITY sync.label "Syn&c Adblock Plus settings"> |
| <!ENTITY objecttab.title "Block"> |
« no previous file with comments
|
« chrome/content/ui/settings.xul ('k')
|
lib/ui.js » ('j')
|
no next file with comments »
