more uniform init_lafs();

--- 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 */