From 47cddbcccdc321a7a88a273aa90114d1a661077d Mon Sep 17 00:00:00 2001 From: Vincent Bernat Date: Thu, 5 May 2022 09:15:29 +0200 Subject: [PATCH] firefox: remove outdated settings Devtools is following Firefox theme now. And the second setting does not exist anymore. --- dotfiles/firefox.js | 2 -- 1 file changed, 2 deletions(-) diff --git a/dotfiles/firefox.js b/dotfiles/firefox.js index 54097a5..35ddeb8 100644 --- a/dotfiles/firefox.js +++ b/dotfiles/firefox.js @@ -3,8 +3,6 @@ // Theme user_pref("extensions.activeThemeID", "firefox-compact-dark@mozilla.org"); -user_pref("devtools.theme", "dark"); -user_pref("ui.systemUsesDarkTheme", 1); user_pref("layout.css.prefers-color-scheme.content-override", 1); // light // Ensure context menus stay open after left-click (useful when scale