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@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gtk-list
