src/Pure/GUI/gui.scala

 import com.formdev.flatlaf.FlatLaf
 
 
 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 =
     Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf()

     val more_lafs = look_and_feels.map(_.info)
     UIManager.setInstalledLookAndFeels((more_lafs ::: lafs).toArray)
 
     // see https://www.formdev.com/flatlaf/customizing
     UIManager.put("Component.arrowType", "triangle")
+  }
+
+  def init_laf(): Unit = {
+    init_lafs()
+    flatlaf.FlatLightLaf.setup()
   }
 
 
   /* additional look-and-feels */