#21 2019-07-01 01:15:00

johnraff

nullglob

From: Nagoya, Japan

Registered: 2015-09-09

Posts: 12,556

Website

Re: Firefox gtkWidget pref to fix dark GTK themes

The fix turned out to be ridiculously easy: just drop a something.js file in /etc/firefox-esr.
In this particular case, you just need the line:

// make text boxes usable with dark themes
pref("widget.content.gtk-theme-override", "Bunsen-He");

The preference you put there will appear set in about:config as a default setting (not bold) but users can change it as they wish. There is no locking of prefs here, which is fine for cases like this IMO.

The .js file could go in /usr/share/firefox-esr/browser/defaults/preferences/ instead, but I figured Debian will probably take care that the file under /etc will continue to work, even if Mozilla change their own install paths.

Anyway the fix has gone out in bunsen-configs 10.3.2-1

---

...elevator in the Brain Hotel, broken down but just as well...
( a boring Japan blog (currently paused), now on Bluesky, there's also some GitStuff )

Introduction to the Bunsenlabs Boron Desktop