Unified Diff: lib/ui.js
Issue 4762316134416384:
Issue 1670 - Removed "Hide placeholders" option from the UI (Firefox) (Closed)
Patch Set:
Created Dec. 8, 2014, 6:10 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« chrome/content/ui/overlay.xul ('K')
|
« chrome/locale/en-US/overlay.dtd ('k')
|
no next file »
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: lib/ui.js |
| =================================================================== |
| --- a/lib/ui.js |
| +++ b/lib/ui.js |
| @@ -504,6 +504,11 @@ |
| { |
| Prefs.currentVersion = addonVersion; |
| this.addSubscription(window, prevVersion); |
| + |
| + // The "Hide placeholders" option has been removed from the UI in 2.6.6.3879 |
| + // So we reset the option for users updating from older versions. |
| + if (prevVersion && Services.vc.compare(prevVersion, "2.6.6.3879") < 0) |
| + Prefs.fastcollapse = false; |
| } |
| }, |
« chrome/content/ui/overlay.xul ('K')
|
« chrome/locale/en-US/overlay.dtd ('k')
|
no next file »
|
no next file with comments »
