From 197f4cbaa47e5e8b9b1fb578b10046914eb6486e Mon Sep 17 00:00:00 2001 From: wolfbeast Date: Sat, 13 Jul 2019 02:41:46 +0200 Subject: Remove WebIDE devtools component. This resolves #1123 --- devtools/client/preferences/devtools.js | 3 --- 1 file changed, 3 deletions(-) (limited to 'devtools/client/preferences/devtools.js') diff --git a/devtools/client/preferences/devtools.js b/devtools/client/preferences/devtools.js index 2f6ca2104..dea61e37f 100644 --- a/devtools/client/preferences/devtools.js +++ b/devtools/client/preferences/devtools.js @@ -21,9 +21,6 @@ pref("devtools.loader.hotreload", false); pref("devtools.toolbar.enabled", true); pref("devtools.toolbar.visible", false); -// Enable DevTools WebIDE by default -pref("devtools.webide.enabled", true); - // Toolbox preferences pref("devtools.toolbox.footer.height", 250); pref("devtools.toolbox.sidebar.width", 500); -- cgit v1.2.3 From c54bbf01fda7690f4585b1e329ce1fd0b4abd42a Mon Sep 17 00:00:00 2001 From: wolfbeast Date: Tue, 13 Aug 2019 13:45:39 +0200 Subject: Enable the JSON View tool by default. Follow-up to issue #1138. --- devtools/client/preferences/devtools.js | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'devtools/client/preferences/devtools.js') diff --git a/devtools/client/preferences/devtools.js b/devtools/client/preferences/devtools.js index dea61e37f..f893b9fb5 100644 --- a/devtools/client/preferences/devtools.js +++ b/devtools/client/preferences/devtools.js @@ -353,13 +353,8 @@ pref("devtools.editor.autocomplete", true); // version for each user. pref("devtools.telemetry.tools.opened.version", "{}"); -// Enable the JSON View tool (an inspector for application/json documents) on -// Nightly and Dev. Edition. -#ifdef RELEASE_OR_BETA -pref("devtools.jsonview.enabled", false); -#else +// Enable the JSON View tool (an inspector for application/json documents) pref("devtools.jsonview.enabled", true); -#endif // Enable the HTML responsive design mode for all channels. pref("devtools.responsive.html.enabled", true); -- cgit v1.2.3 From 9f7b943c1de5e9ae010ff839ee7e601a081d42e1 Mon Sep 17 00:00:00 2001 From: wolfbeast Date: Wed, 14 Aug 2019 17:19:40 +0200 Subject: Issue #1124: Remove Firefox Developer Edition code. Removes all occurrences of MOZ_DEV_EDITION code and some helpers. --- devtools/client/preferences/devtools.js | 4 ---- 1 file changed, 4 deletions(-) (limited to 'devtools/client/preferences/devtools.js') 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); -- cgit v1.2.3