Limit minimum width of edges to 0.8px

Scytheface · Dec 8, 2023 · 8385f36 · 8385f36
1 parent 85905c1
commit 8385f36
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/ee/ut/dendroloj/GraphGUI.java b/src/main/java/ee/ut/dendroloj/GraphGUI.java
@@ -48,7 +48,7 @@ public static void initGenericGUI(double uiScale, Graph graph, Layout layout) {
                         " fill-mode: plain;" +
                         " fill-color: #0096ff;" +
                         "}",
-                Math.sqrt(uiScale), uiScale * 14, uiScale + 1,
+                Math.max(0.8, Math.sqrt(uiScale)), uiScale * 14, uiScale + 1,
                 uiScale * 28, uiScale * 14, uiScale * 3));
 
         init(graph, layout, null);
@@ -80,7 +80,7 @@ public static void initCallTreeGUI(double uiScale) {
                         " fill-mode: plain;" +
                         " fill-color: #0096ff;" +
                         "}",
-                Math.sqrt(uiScale), uiScale * 12, uiScale + 1, Math.sqrt(uiScale) * 10, uiScale * 12, uiScale + 1));
+                Math.max(0.8, Math.sqrt(uiScale)), uiScale * 12, uiScale + 1, Math.sqrt(uiScale) * 10, uiScale * 12, uiScale + 1));
 
         init(CallTreeLayout.graph, null, CallTreeLayout.stepSlider);
     }