Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Mon, 21 Dec 2020 22:03:39 +0100
changeset 72975 315f9b4f9e7a
parent 72974 3afd293347cc
child 72976 51442c6dc296
tuned signature;
src/Pure/GUI/gui.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/GUI/gui.scala	Mon Dec 21 21:56:20 2020 +0100
+++ b/src/Pure/GUI/gui.scala	Mon Dec 21 22:03:39 2020 +0100
@@ -35,13 +35,13 @@
 
   def init_laf(): Unit = UIManager.setLookAndFeel(get_laf())
 
+  def current_laf(): String = UIManager.getLookAndFeel.getClass.getName()
+
   def is_macos_laf(): Boolean =
-    Platform.is_macos &&
-    UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
+    Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf()
 
   def is_windows_laf(): Boolean =
-    Platform.is_windows &&
-    UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
+    Platform.is_windows && UIManager.getSystemLookAndFeelClassName() == current_laf()
 
 
   /* plain focus traversal, notably for text fields */
isabelle