Re:A new wave of Linux applications
by _2paq on Thursday February 17, 2022 @04:19AM
(#30371098)
Is that high contrast mode, their dark mode colors, and their font choice supposed to work for everyone?
[ Parent
| on HN ]
Re:A new wave of Linux applications
by jamesgeck0 on Thursday February 17, 2022 @12:35PM
(#30376026)
...Changing the default fonts is definitely supported.
> ...Changing the default fonts is definitely supported.
Not for the GNOME shell, unless you're editing the relevant CSS files in /usr/share/themes or installing themes that do so. And if you do end up doing that, you get to see issues like this
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2331
And I wouldn't be surprised if changing fonts became an unsupported feature in future releases because apparently, it was just a hack and not well supported and didn't really work like themes. Apparently, gnome-tweak-tool is an unsupported tool as well.