# HG changeset patch
# User wenzelm
# Date 1624649601 -7200
# Node ID 291597140695c7784df89667c7139f45ba5f4289
# Parent  d9ebbfe099a85afac41b806ab69625cc2f800488
avoid deprecated operation;

diff -r d9ebbfe099a8 -r 291597140695 src/Pure/GUI/gui.scala
--- 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()