Heute habe ich gelernt, dass weder X, noch Openbox, noch GTK, noch Qt gescheit mit „HiDPI“ (ich würde alles unter 200 DPI nicht „high“ nennen, aber seis drum) umgehen können und sogar miserabel versagen, bei dem Versuch, mehrere Monitore mit unterschiedlichen DPI-Einstellungen zu benutzen.
Außerdem habe ich gelernt,
dass Nvidia miserabel versagt, bei dem Versuch, DisplayPort vernünftig zu integrieren, und eine theoretische Lösung nur mit Windows-Tools möglich ist. DisplayPort bleibt einfach aus beim Booten, und springt erst an, wenn ich mich blind am System anmelde, und xrandr das Bild konfiguriert. DisplayPort beleibt übrigens schon beim Booten aus, und der Monitor um Standby.
Ergebnis des Ganzen nach 2 Stunden verkabeln und ausprobieren: Nach dem Umstieg auf einen 4K-Monitor habe ich nun einen Monitor weniger (eben den, der bisher per HDMI betrieben wurde, da ich das HDMI für den neuen Monitor brauche, weil Nvidia versagt hat) und kein einziges Programm wird mehr vernünftig dargestellt (auch nach Konfigurationsversuchen habe ich noch ein halbes Dutzend verschiedener Schrift- und GUI-Element-Größen, wo vorher alles einheitlich war).