|
1616
|
1 local Luan = require "luan:Luan.luan"
|
|
|
2 local error = Luan.error
|
|
1890
|
3 local ipairs = Luan.ipairs or error()
|
|
1616
|
4 require "java"
|
|
1890
|
5 local System = require "java:java.lang.System"
|
|
1888
|
6 local Insets = require "java:java.awt.Insets"
|
|
1890
|
7 local UIManager = require "java:javax.swing.UIManager"
|
|
1893
|
8 local FlatLightLaf = require "java:com.formdev.flatlaf.FlatLightLaf"
|
|
1616
|
9 local SwingLuan = require "java:luan.modules.swing.SwingLuan"
|
|
|
10
|
|
|
11
|
|
|
12 local Swing = {}
|
|
|
13
|
|
1890
|
14 System.setProperty("apple.laf.useScreenMenuBar", "true")
|
|
1893
|
15 UIManager.setLookAndFeel(FlatLightLaf.new())
|
|
1890
|
16
|
|
|
17 function Swing.get_installed_look_and_feels()
|
|
|
18 local list = {}
|
|
|
19 for _, info in ipairs{UIManager.getInstalledLookAndFeels()} do
|
|
|
20 list[#list+1] = info.getClassName()
|
|
|
21 end
|
|
|
22 return list
|
|
|
23 end
|
|
|
24
|
|
|
25 function Swing.get_look_and_feel()
|
|
|
26 return UIManager.getLookAndFeel().getClass().getName()
|
|
|
27 end
|
|
|
28
|
|
|
29 Swing.ui_manager_put = UIManager.put
|
|
|
30 Swing.set_look_and_feel = UIManager.setLookAndFeel
|
|
|
31
|
|
1884
|
32 Swing.run = SwingLuan.run
|
|
1616
|
33
|
|
1888
|
34 Swing.new_insets = Insets.new -- top, left, bottom, right
|
|
1893
|
35 Swing.no_insets = Insets.new(0,0,0,0)
|
|
1888
|
36
|
|
1616
|
37 return Swing
|
