Fix bug with Estonian locale breaking stylesheet

Scytheface · Sep 18, 2023 · 3e10af6 · 3e10af6
1 parent 3f46a1e
commit 3e10af6
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/main/java/ee/ut/dendroloj/GraphGUI.java b/src/main/java/ee/ut/dendroloj/GraphGUI.java
@@ -12,6 +12,7 @@
 import org.graphstream.ui.view.util.MouseManager;
 import org.graphstream.ui.view.util.ShortcutManager;
 
+import java.util.Locale;
 import javax.swing.*;
 import java.awt.*;
 import java.awt.event.*;
@@ -23,7 +24,7 @@ public static void init(double uiScale) {
         Graph graph = new SingleGraph("DendroloJ");
         graph.setAttribute("ui.quality");
         graph.setAttribute("ui.antialias");
-        graph.setAttribute("ui.stylesheet", String.format("""                 
+        graph.setAttribute("ui.stylesheet", String.format(Locale.ROOT, """                 
                 edge {
                     size: %fpx;
                     text-size: %f;
@@ -190,4 +191,4 @@ public void actionPerformed(ActionEvent event) {
 
         root.setVisible(true);
     }
-}
+}