# HG changeset patch
# User wenzelm
# Date 1745329927 -7200
# Node ID 35d176c50867a38a664f30e9bfe08b4f18b641cb
# Parent  fa069e15c8daeb5d278afec46bd2ada090e77a6c
more FlatLaf operations;

diff -r fa069e15c8da -r 35d176c50867 src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Tue Apr 22 15:40:43 2025 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Apr 22 15:52:07 2025 +0200
@@ -29,6 +29,9 @@
   def is_macos_laf(): Boolean =
     Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf()
 
+  def is_dark_laf(): Boolean =
+    com.formdev.flatlaf.FlatLaf.isLafDark
+
   class Look_And_Feel(laf: LookAndFeel) extends Isabelle_System.Service {
     def info: UIManager.LookAndFeelInfo =
       new UIManager.LookAndFeelInfo(laf.getName, laf.getClass.getName)