equal
deleted
inserted
replaced
18 |
18 |
19 object GUI |
19 object GUI |
20 { |
20 { |
21 /* Swing look-and-feel */ |
21 /* Swing look-and-feel */ |
22 |
22 |
23 def init_laf(): Unit = com.formdev.flatlaf.FlatLightLaf.install() |
23 def init_laf(): Unit = com.formdev.flatlaf.FlatLightLaf.setup() |
24 |
24 |
25 def current_laf: String = UIManager.getLookAndFeel.getClass.getName() |
25 def current_laf: String = UIManager.getLookAndFeel.getClass.getName() |
26 |
26 |
27 def is_macos_laf: Boolean = |
27 def is_macos_laf: Boolean = |
28 Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf |
28 Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf |