Unified Diff: background.js
Issue 6201561285918720:
Issue 1671 - Removed "Hide placeholders" option from the UI (Chrome/Opera/Safari) (Closed)
Patch Set:
Created Dec. 8, 2014, 6:13 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« no previous file
|
options.html » ('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: background.js |
| =================================================================== |
| --- a/background.js |
| +++ b/background.js |
| @@ -81,6 +81,11 @@ |
| if (canUseChromeNotifications) |
| initChromeNotifications(); |
| initAntiAdblockNotification(); |
| + |
| + // The "Hide placeholders" option has been removed from the UI in 1.8.8.1283 |
| + // So we reset the option for users updating from older versions. |
| + if (prevVersion && Services.vc.compare(prevVersion, "1.8.8.1283") < 0) |
| + Prefs.hidePlaceholders = true; |
| } |
| // update browser actions when whitelisting might have changed, |
« no previous file with comments
|
« no previous file
|
options.html » ('j')
|
no next file with comments »
