equal
deleted
inserted
replaced
20 { |
20 { |
21 /* Swing look-and-feel */ |
21 /* Swing look-and-feel */ |
22 |
22 |
23 def get_laf(): String = |
23 def get_laf(): String = |
24 { |
24 { |
25 def laf(name: String): Option[String] = |
|
26 UIManager.getInstalledLookAndFeels().find(_.getName == name).map(_.getClassName) |
|
27 |
|
28 if (Platform.is_windows || Platform.is_macos) |
25 if (Platform.is_windows || Platform.is_macos) |
29 UIManager.getSystemLookAndFeelClassName() |
26 UIManager.getSystemLookAndFeelClassName() |
30 else |
27 else |
31 laf("Nimbus") orElse laf("GTK+") getOrElse |
28 UIManager.getInstalledLookAndFeels().find(_.getName == "Nimbus").map(_.getClassName) |
32 UIManager.getCrossPlatformLookAndFeelClassName() |
29 .getOrElse(UIManager.getCrossPlatformLookAndFeelClassName()) |
33 } |
30 } |
34 |
31 |
35 def init_laf(): Unit = UIManager.setLookAndFeel(get_laf()) |
32 def init_laf(): Unit = UIManager.setLookAndFeel(get_laf()) |
36 |
33 |
37 def is_macos_laf(): Boolean = |
34 def is_macos_laf(): Boolean = |