# HG changeset patch
# User wenzelm
# Date 1745330838 -7200
# Node ID 4f7b5d76340f688f2b80d941210c36a710430aca
# Parent  35d176c50867a38a664f30e9bfe08b4f18b641cb
tuned imports;

diff -r 35d176c50867 -r 4f7b5d76340f src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Tue Apr 22 15:52:07 2025 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Apr 22 16:07:18 2025 +0200
@@ -18,19 +18,21 @@
 import scala.swing.{CheckBox, ComboBox, ScrollPane, TextArea, ListView, Separator}
 import scala.swing.event.{ButtonClicked, SelectionChanged}
 
+import com.formdev.flatlaf
+import com.formdev.flatlaf.FlatLaf
+
 
 object GUI {
   /* Swing look-and-feel */
 
-  def init_laf(): Unit = com.formdev.flatlaf.FlatLightLaf.setup()
+  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()
 
-  def is_dark_laf(): Boolean =
-    com.formdev.flatlaf.FlatLaf.isLafDark
+  def is_dark_laf(): Boolean = FlatLaf.isLafDark()
 
   class Look_And_Feel(laf: LookAndFeel) extends Isabelle_System.Service {
     def info: UIManager.LookAndFeelInfo =
@@ -540,5 +542,5 @@
   }
 }
 
-class FlatLightLaf extends GUI.Look_And_Feel(new com.formdev.flatlaf.FlatLightLaf)
-class FlatDarkLaf extends GUI.Look_And_Feel(new com.formdev.flatlaf.FlatDarkLaf)
+class FlatLightLaf extends GUI.Look_And_Feel(new flatlaf.FlatLightLaf)
+class FlatDarkLaf extends GUI.Look_And_Feel(new flatlaf.FlatDarkLaf)