@tm64: Leider gibt es bisher noch kein HighDPI Support. Hierfür sind größere GUI Umbauten nötig und auch macht das jedes Theme *anders* weshalb da keine All-in-one Lösung möglich ist. Hier gibt es überlegungen das bisherige Theme durch an anderes zu ersetzen, welches HighDPI von Anfang an besser unterstützt. Aber noch sind hieran keinerlei Arbeiten passiert. Ich kann dir hierzu leider keinerlei ETA geben.
__________________
JD-Dev & Server-Admin
|