To scale UI elements by a factor of two:
export GDK_SCALE=2
To undo scaling of text:
export GDK_DPI_SCALE=0.5
Recently a did a fresh Gentoo Linux install with Gnome 3.18 GUI.
Skylake CPU with integrated graphics connected to a 4k monitor.
Initial GUI is very tiny as expected, so I used skaling for Windows
factor 2. This gives me this result:
http://ssalewski.de/tmp/Gnome3.18_HighDPI.png
Generally not too bad, window content including web browser is scaled
to a size which makes working possible. But as you can see text on top
of the screen and the text of the program icons is tiny still, mouse
pointer too.
I have googled already for some hours -- seems that there is no info
direct from gtk or gnome people. Google gives me a few hits, most from
around 2011. Will took me some time to test. For mouse pointer -- well
I think there is a dconf setting, but I have still to find it. For icon
text -- absolutely no idea currently.
May gnome 3.20 or 3.22 or wayland offer simpler/better tuning? For
gentoo we have only 3.18 in stable yet, but I may try to install the
unstable files when it really helps. And 3.20 should be available in
stable gentoo very soon
I have already tried scaling text instead. Thats works too, but for
example the scroll bar becomes very narrow, and I found no way for
tweaking.
May there exists HiDPI themes somewhere?
_______________________________________________
gtk-list mailing list
gtk-list gnome org
https://mail.gnome.org/mailman/listinfo/gtk-list