From a4e7e8662df850d4afcbb52c0c77e38e8db5d405 Mon Sep 17 00:00:00 2001 From: wuggy Date: Sun, 29 Mar 2026 12:04:41 +0100 Subject: [PATCH] revert 5a84cf5aab8f813f74923dc26f283c8a9e3a47c6 revert Use firebug devtools theme by default, use light theme pwease --- devtools/client/framework/devtools.js | 4 ++-- devtools/client/preferences/devtools.js | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/devtools/client/framework/devtools.js b/devtools/client/framework/devtools.js index 388e00e4dd..976a4b56db 100644 --- a/devtools/client/framework/devtools.js +++ b/devtools/client/framework/devtools.js @@ -307,11 +307,11 @@ DevTools.prototype = { if (!Services.startup.shuttingDown && !isCoreTheme && theme.id == currTheme) { - Services.prefs.setCharPref("devtools.theme", "firebug"); + Services.prefs.setCharPref("devtools.theme", "light"); let data = { pref: "devtools.theme", - newValue: "firebug", + newValue: "light", oldValue: currTheme }; diff --git a/devtools/client/preferences/devtools.js b/devtools/client/preferences/devtools.js index 0d176c2786..cf8de311b9 100644 --- a/devtools/client/preferences/devtools.js +++ b/devtools/client/preferences/devtools.js @@ -217,7 +217,7 @@ pref("devtools.dom.enabled", false); pref("devtools.webaudioeditor.inspectorWidth", 300); // Default theme ("dark" or "light") -sticky_pref("devtools.theme", "firebug"); +sticky_pref("devtools.theme", "light"); // Web console filters pref("devtools.webconsole.filter.error", true);