diff options
author | Gaming4JC <g4jc@hyperbola.info> | 2019-09-29 17:26:59 -0400 |
---|---|---|
committer | Gaming4JC <g4jc@hyperbola.info> | 2019-09-29 17:26:59 -0400 |
commit | e6a41e9a7c90f8a0d1178ce00a49886b74da58d8 (patch) | |
tree | d7aa135b957d3ca39e80bc9fdf1fd0bf8d750733 /tools | |
parent | 55f39e2becee937e9da6790051c63acd88e645a2 (diff) | |
download | iceweasel-uxp-e6a41e9a7c90f8a0d1178ce00a49886b74da58d8.tar.gz |
backport UXP Issue #1124: Remove Dev Edition
Diffstat (limited to 'tools')
-rw-r--r-- | tools/mozscreenshots/mozscreenshots/extension/configurations/DevEdition.jsm | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/tools/mozscreenshots/mozscreenshots/extension/configurations/DevEdition.jsm b/tools/mozscreenshots/mozscreenshots/extension/configurations/DevEdition.jsm deleted file mode 100644 index fd981bc..0000000 --- a/tools/mozscreenshots/mozscreenshots/extension/configurations/DevEdition.jsm +++ /dev/null @@ -1,42 +0,0 @@ -/* This Source Code Form is subject to the terms of the Mozilla Public - * License, v. 2.0. If a copy of the MPL was not distributed with this file, - * You can obtain one at http://mozilla.org/MPL/2.0/. */ - -"use strict"; - -this.EXPORTED_SYMBOLS = ["DevEdition"]; - -const {classes: Cc, interfaces: Ci, utils: Cu} = Components; -const THEME_ID = "firefox-devedition@mozilla.org"; - -Cu.import("resource://gre/modules/LightweightThemeManager.jsm"); -Cu.import("resource://gre/modules/Services.jsm"); -Cu.import("resource://gre/modules/Task.jsm"); - -this.DevEdition = { - init(libDir) {}, - - configurations: { - devEditionLight: { - applyConfig: Task.async(() => { - Services.prefs.setCharPref("devtools.theme", "light"); - LightweightThemeManager.currentTheme = LightweightThemeManager.getUsedTheme(THEME_ID); - Services.prefs.setBoolPref("browser.devedition.theme.showCustomizeButton", true); - }), - }, - devEditionDark: { - applyConfig: Task.async(() => { - Services.prefs.setCharPref("devtools.theme", "dark"); - LightweightThemeManager.currentTheme = LightweightThemeManager.getUsedTheme(THEME_ID); - Services.prefs.setBoolPref("browser.devedition.theme.showCustomizeButton", true); - }), - }, - devEditionOff: { - applyConfig: Task.async(() => { - Services.prefs.clearUserPref("devtools.theme"); - LightweightThemeManager.currentTheme = null; - Services.prefs.clearUserPref("browser.devedition.theme.showCustomizeButton"); - }), - }, - }, -}; |