diff options
| author | wolfbeast <mcwerewolf@wolfbeast.com> | 2019-08-14 17:19:40 +0200 |
|---|---|---|
| committer | wolfbeast <mcwerewolf@wolfbeast.com> | 2019-08-14 17:19:40 +0200 |
| commit | 9f7b943c1de5e9ae010ff839ee7e601a081d42e1 (patch) | |
| tree | 9d8574bff09f9f29d38edc9d0886ff1f4f27355f /devtools | |
| parent | 0cd0854ba88e1a5f4e2e9694113299b5e2e0bc25 (diff) | |
| download | UXP-9f7b943c1de5e9ae010ff839ee7e601a081d42e1.tar UXP-9f7b943c1de5e9ae010ff839ee7e601a081d42e1.tar.gz UXP-9f7b943c1de5e9ae010ff839ee7e601a081d42e1.tar.lz UXP-9f7b943c1de5e9ae010ff839ee7e601a081d42e1.tar.xz UXP-9f7b943c1de5e9ae010ff839ee7e601a081d42e1.zip | |
Issue #1124: Remove Firefox Developer Edition code.
Removes all occurrences of MOZ_DEV_EDITION code and some helpers.
Diffstat (limited to 'devtools')
| -rw-r--r-- | devtools/client/framework/devtools-browser.js | 4 | ||||
| -rw-r--r-- | devtools/client/preferences/devtools.js | 4 |
2 files changed, 1 insertions, 7 deletions
diff --git a/devtools/client/framework/devtools-browser.js b/devtools/client/framework/devtools-browser.js index 1b34e44e0..83a888ab9 100644 --- a/devtools/client/framework/devtools-browser.js +++ b/devtools/client/framework/devtools-browser.js @@ -330,9 +330,7 @@ var gDevToolsBrowser = exports.gDevToolsBrowser = { viewId: "PanelUI-developer", shortcutId: "key_devToolboxMenuItem", tooltiptext: "developer-button.tooltiptext2", - defaultArea: AppConstants.MOZ_DEV_EDITION ? - CustomizableUI.AREA_NAVBAR : - CustomizableUI.AREA_PANEL, + defaultArea: CustomizableUI.AREA_PANEL, onViewShowing: function (aEvent) { // Populate the subview with whatever menuitems are in the developer // menu. We skip menu elements, because the menu panel has no way diff --git a/devtools/client/preferences/devtools.js b/devtools/client/preferences/devtools.js index f893b9fb5..e817b3a18 100644 --- a/devtools/client/preferences/devtools.js +++ b/devtools/client/preferences/devtools.js @@ -231,11 +231,7 @@ pref("devtools.dom.enabled", false); pref("devtools.webaudioeditor.inspectorWidth", 300); // Default theme ("dark" or "light") -#ifdef MOZ_DEV_EDITION -sticky_pref("devtools.theme", "dark"); -#else sticky_pref("devtools.theme", "light"); -#endif // Web console filters pref("devtools.webconsole.filter.error", true); |