Fix OS UI scaling breaking zoom and pan

Scytheface · Sep 18, 2023 · 245b6d8 · 245b6d8
1 parent 4d5209f
commit 245b6d8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/java/ee/ut/dendroloj/GraphGUI.java b/src/main/java/ee/ut/dendroloj/GraphGUI.java
@@ -20,6 +20,7 @@
 class GraphGUI {
     public static void init(double uiScale) {
         System.setProperty("org.graphstream.ui", "swing");
+        System.setProperty("sun.java2d.uiScale", "1");
 
         Graph graph = new SingleGraph("DendroloJ");
         graph.setAttribute("ui.quality");