|
|
|
|
|
|
by _2paq
1584 days ago
|
|
|
> ...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. |
|
|