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.
avoid deprecated operation;
authorwenzelm
Fri, 25 Jun 2021 21:33:21 +0200
changeset 73878 291597140695
parent 73877 d9ebbfe099a8
child 73879 0db0cd462163
avoid deprecated operation;
src/Pure/GUI/gui.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/GUI/gui.scala	Fri Jun 25 21:16:53 2021 +0200
+++ b/src/Pure/GUI/gui.scala	Fri Jun 25 21:33:21 2021 +0200
@@ -20,7 +20,7 @@
 {
   /* Swing look-and-feel */
 
-  def init_laf(): Unit = com.formdev.flatlaf.FlatLightLaf.install()
+  def init_laf(): Unit = com.formdev.flatlaf.FlatLightLaf.setup()
 
   def current_laf: String = UIManager.getLookAndFeel.getClass.getName()
isabelle