trying to get darkly to work

This commit is contained in:
Chris Cochrun 2025-03-13 11:46:44 -05:00
parent 08b073d709
commit eaeb0247bd
2 changed files with 20 additions and 20 deletions

View file

@ -558,33 +558,33 @@ in {
home.file.".mozilla/firefox/nw77o6yc.default/user.js" = {
text = ''
// userchrome.css usercontent.css activate
user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);
// userchrome.css usercontent.css activate
user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);
// enable new sidebar
user_pref("sidebar.revamp", true);
// disable new sidebar
user_pref("sidebar.revamp", false);
// Fill SVG Color
user_pref("svg.context-properties.content.enabled", true);
// Fill SVG Color
user_pref("svg.context-properties.content.enabled", true);
// CSS's `:has()` selector
user_pref("layout.css.has-selector.enabled", true);
// CSS's `:has()` selector
user_pref("layout.css.has-selector.enabled", true);
// Integrated calculator at urlbar
user_pref("browser.urlbar.suggest.calculator", true);
// Integrated calculator at urlbar
user_pref("browser.urlbar.suggest.calculator", true);
// Integrated unit convertor at urlbar
user_pref("browser.urlbar.unitConversion.enabled", true);
// Integrated unit convertor at urlbar
user_pref("browser.urlbar.unitConversion.enabled", true);
// Trim URL
user_pref("browser.urlbar.trimHttps", true);
user_pref("browser.urlbar.trimURLs", true);
// Trim URL
user_pref("browser.urlbar.trimHttps", true);
user_pref("browser.urlbar.trimURLs", true);
// GTK rounded corners
user_pref("widget.gtk.rounded-bottom-corners.enabled", true);
// GTK rounded corners
user_pref("widget.gtk.rounded-bottom-corners.enabled", true);
// Who is bogus? (fixes Sidebery tab dragging on Linux)
user_pref("widget.gtk.ignore-bogus-leave-notify", 1);
// Who is bogus? (fixes Sidebery tab dragging on Linux)
user_pref("widget.gtk.ignore-bogus-leave-notify", 1);
'';
};