On Wednesday 08 February 2017 12.43:43 Dr. Nikolaus Klepp wrote:

This will most likely not solve your problem for GTK3 applications, but you can try to fix the screens DPI:

kcontrol / Apperreance / Fonts : Force DPI ... 96 DPI

For GNOME/GTK please look here: https://wiki.archlinux.org/index.php/HiDPI

Nik

Thanks Nik, it did solve the problem, at least for the apps I use on that machine (kmail, Vivaldi, Yast). I had never noticed (nor needed) that setting, now I know where to look.

Thierry