From 5a84cf5aab8f813f74923dc26f283c8a9e3a47c6 Mon Sep 17 00:00:00 2001 From: K4sum1 Date: Mon, 24 Jun 2024 14:26:45 -0700 Subject: [PATCH] Use firebug devtools theme by default It better fits the aestethic here --- 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 976a4b56db..388e00e4dd 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", "light"); + Services.prefs.setCharPref("devtools.theme", "firebug"); let data = { pref: "devtools.theme", - newValue: "light", + newValue: "firebug", oldValue: currTheme }; diff --git a/devtools/client/preferences/devtools.js b/devtools/client/preferences/devtools.js index cf8de311b9..0d176c2786 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", "light"); +sticky_pref("devtools.theme", "firebug"); // Web console filters pref("devtools.webconsole.filter.error", true);