Inzwischen habe ich recherchiert, dass genau diese Programme, VLC und Virtualbox, bezüglich DPI gerne Probleme machen.
Derzeit scheinen folgende Wege Abhilfe zu schaffen:
1) Statt Virtualbox Virt-manager + irgendwas wie QEMU dahinter nehmen
2) Beim VLC das Advantage.vls -Skin installieren. Die Bedienelemente werden bei hoher DPI-Zahl zwar sehr klein, aber das Programm lässt sich wenigstens benutzen.
Ich habe jetzt den Desktop auf Leap 15.3 umgestellt. Hier hat VLC das Problem, dass es gerne ein separates Videofenster anzeigt. Schliesst man dieses, ist es erstmal weg. Auch hier hilft das Advantage.vls-Skin.