Gnome with high resolution display (4k, 27 inch)

[Stefan Salewski <mail ssalewski de>]

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?