# HG changeset patch
# User wenzelm
# Date 1745395294 -7200
# Node ID f35e82124b3349de89c94c0f9df2b60a38033382
# Parent  26564f433980f58fab906e263e68c9e27b93f2ff
more uniform init_lafs();

diff -r 26564f433980 -r f35e82124b33 src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Tue Apr 22 22:21:48 2025 +0200
+++ b/src/Pure/GUI/gui.scala	Wed Apr 23 10:01:34 2025 +0200
@@ -25,8 +25,6 @@
 object GUI {
   /* Swing look-and-feel */
 
-  def init_laf(): Unit = flatlaf.FlatLightLaf.setup()
-
   def current_laf(): String = UIManager.getLookAndFeel.getClass.getName()
 
   def is_macos_laf(): Boolean =
@@ -57,6 +55,11 @@
     UIManager.put("Component.arrowType", "triangle")
   }
 
+  def init_laf(): Unit = {
+    init_lafs()
+    flatlaf.FlatLightLaf.setup()
+  }
+
 
   /* additional look-and-feels */