On Mon, 2016-09-26 at 14:54 +0000, James Mason wrote:
Hi all,
I noticed at soon as I updated my Tumbleweed to gnome 3.22, some tools have teensy tiny fonts; a little digging around and I found that gedit and gnome-builder, which both rely on gtksourceview, seem to be ignoring scaling set in gnome-tweak-tool. Evolution is doing it as well, but I haven't dug in deep enough to isolate which widget is at fault.
Has scaling changed in gnome 3.22? Do I need to reset somewhere? It's freaky having radically different font sizes in different apps.
Hi James, This is indeed something incorrect - as you found, gtksourceview seems not to be following settings there. This is currently tracked upstream at https://bugzilla.gnome.org/show_bug.cgi?id=771898 For evolution, it might be slightly different; it uses webkit2 as render backend (html) - similar to epiphany (which likely is also not scaling the web sites; that is probably arguable if it should though) Cheers, Dominique