|
1616
|
1 local Luan = require "luan:Luan.luan"
|
|
|
2 local error = Luan.error
|
|
1890
|
3 local ipairs = Luan.ipairs or error()
|
|
1959
|
4 require("luan:swing/Swing_runner.luan").check()
|
|
1616
|
5 require "java"
|
|
1903
|
6 local URI = require "java:java.net.URI"
|
|
1888
|
7 local Insets = require "java:java.awt.Insets"
|
|
1903
|
8 local Desktop = require "java:java.awt.Desktop"
|
|
1890
|
9 local UIManager = require "java:javax.swing.UIManager"
|
|
1945
|
10 local SwingConstants = require "java:javax.swing.SwingConstants"
|
|
1915
|
11 local Logging = require "luan:logging/Logging.luan"
|
|
|
12 local logger = Logging.logger "swing/Swing"
|
|
1616
|
13
|
|
|
14
|
|
|
15 local Swing = {}
|
|
|
16
|
|
1890
|
17
|
|
|
18 function Swing.get_installed_look_and_feels()
|
|
|
19 local list = {}
|
|
|
20 for _, info in ipairs{UIManager.getInstalledLookAndFeels()} do
|
|
|
21 list[#list+1] = info.getClassName()
|
|
|
22 end
|
|
|
23 return list
|
|
|
24 end
|
|
|
25
|
|
|
26 function Swing.get_look_and_feel()
|
|
|
27 return UIManager.getLookAndFeel().getClass().getName()
|
|
|
28 end
|
|
|
29
|
|
|
30 Swing.ui_manager_put = UIManager.put
|
|
|
31 Swing.set_look_and_feel = UIManager.setLookAndFeel
|
|
|
32
|
|
1888
|
33 Swing.new_insets = Insets.new -- top, left, bottom, right
|
|
1893
|
34 Swing.no_insets = Insets.new(0,0,0,0)
|
|
1888
|
35
|
|
1903
|
36 local desktop = Desktop.getDesktop()
|
|
|
37
|
|
|
38 function Swing.browse(url)
|
|
|
39 desktop.browse( URI.new(url) )
|
|
|
40 end
|
|
|
41
|
|
1945
|
42 Swing.alignments = {
|
|
|
43 left = SwingConstants.LEFT
|
|
|
44 center = SwingConstants.CENTER
|
|
|
45 right = SwingConstants.RIGHT
|
|
|
46 }
|
|
|
47
|
|
1616
|
48 return Swing
|
