Benutzer-Werkzeuge

Webseiten-Werkzeuge


develop:highdpi

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
develop:highdpi [d.m.Y H:i]
willuhn [Zoom-Level konfigurierbar]
develop:highdpi [d.m.Y H:i] (aktuell)
willuhn
Zeile 15: Zeile 15:
 ===== Lösung ===== ===== Lösung =====
  
-Mit dem Nightly-Build von Jameica ab 15.05.2018 enthält Jameica HiDPI-Support. Dieser ​setzt sich aus mehreren Teilen zusammen:+Mit dem Nightly-Build von Jameica ab 15.05.2018 enthält Jameica HiDPI-Support. Dieser ​ist wie folgt umgesetzt.
  
-==== Zoom-Level ​konfigurierbar ​====+==== Ermittlung des Zoom-Level ==== 
 + 
 +SWT enthält eine Funktion, um das aktuelle Zoom-Level des Desktops zu ermitteln. Für den Fall, dass dies nicht zuverlässig funktioniert (oder zum Testen), kann das Zoom-Level manuell konfiguriert werden. Dies geschieht über das Java-System-Property:​ 
 + 
 +<​code>​ 
 +swt.autoScale=<​wert>​ 
 +</​code>​ 
 + 
 +Beispiel in jameica.sh:​ 
 + 
 +<code class="​shell">​ 
 +exec java -Djava.net.preferIPv4Stack=true -Dswt.autoScale=200 -jar jameica.... 
 +</​code>​
  
-SWT enthält eine Funktion, um das aktuelle Zoom-Level des Desktops zu ermitteln. Für den Fall, dass dies nicht zuverlässig funktioniert (z.Bsp. unter GTK2), kann das Zoom-Level vom Benutzer manuell unter "​Datei->​Einstellungen->​Look & Feel" konfiguriert werden. 
  
 ==== Passende Icons für vordefinierte Zoom-Stufen ==== ==== Passende Icons für vordefinierte Zoom-Stufen ====
develop/highdpi.txt · Zuletzt geändert: d.m.Y H:i von willuhn