annotate src/luan/modules/swing/Frame.luan @ 1992:ac02e07f09de default tip

add config
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 01 Jul 2025 15:14:26 -0600
parents bb12d502b72e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1616
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local set_metatable = Luan.set_metatable or error()
1937
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
4 local ipairs = Luan.ipairs or error()
1863
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
5 local Utils = require "luan:swing/Utils.luan"
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
6 local fail = Utils.fail or error()
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
7 local make_metatable = Utils.make_metatable or error()
1944
Franklin Schmidt <fschmidt@gmail.com>
parents: 1942
diff changeset
8 local remove = Utils.remove or error()
1887
Franklin Schmidt <fschmidt@gmail.com>
parents: 1865
diff changeset
9 local check_empty = Utils.check_empty or error()
1939
Franklin Schmidt <fschmidt@gmail.com>
parents: 1937
diff changeset
10 local Awt_window = require "luan:swing/Awt_window.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 1937
diff changeset
11 local super__index = Awt_window.__index or error()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1937
diff changeset
12 local super__new_index = Awt_window.__new_index or error()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1937
diff changeset
13 local super_construct = Awt_window.construct or error()
1616
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 require "java"
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 local JFrame = require "java:javax.swing.JFrame"
1863
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
16 local Logging = require "luan:logging/Logging.luan"
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
17 local logger = Logging.logger "swing/Frame"
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
18
1616
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 local Frame = {}
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22
1863
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
23 function Frame.__index(frame,key)
1914
Franklin Schmidt <fschmidt@gmail.com>
parents: 1893
diff changeset
24 local rtn = super__index(frame,key)
Franklin Schmidt <fschmidt@gmail.com>
parents: 1893
diff changeset
25 if rtn ~= fail then return rtn end
1937
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
26 local jframe = frame.java
1862
d59d4ef5ca46 swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1616
diff changeset
27 if key == "title" then
1937
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
28 return jframe.getTitle()
1862
d59d4ef5ca46 swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1616
diff changeset
29 end
1863
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
30 return fail
1616
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 end
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32
1863
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
33 function Frame.__new_index(frame,key,value)
1914
Franklin Schmidt <fschmidt@gmail.com>
parents: 1893
diff changeset
34 local rtn = super__new_index(frame,key,value)
Franklin Schmidt <fschmidt@gmail.com>
parents: 1893
diff changeset
35 if rtn ~= fail then return end
1937
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
36 local jframe = frame.java
1862
d59d4ef5ca46 swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1616
diff changeset
37 if key == "title" then
1937
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
38 jframe.setTitle(value)
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
39 return
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
40 end
1863
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
41 return fail
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
42 end
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
43
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
44 local mt = make_metatable(Frame)
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1862
diff changeset
45
1937
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
46 local function new2(frame,props)
1914
Franklin Schmidt <fschmidt@gmail.com>
parents: 1893
diff changeset
47 super_construct(frame,props)
1937
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
48 local jframe = frame.java
1944
Franklin Schmidt <fschmidt@gmail.com>
parents: 1942
diff changeset
49 local content_pane = remove(props,"content_pane")
1887
Franklin Schmidt <fschmidt@gmail.com>
parents: 1865
diff changeset
50 if content_pane~=nil then jframe.setContentPane(content_pane.java) end
Franklin Schmidt <fschmidt@gmail.com>
parents: 1865
diff changeset
51 check_empty(props)
1862
d59d4ef5ca46 swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1616
diff changeset
52 function frame.set_menu_bar(menu_bar)
d59d4ef5ca46 swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1616
diff changeset
53 jframe.setJMenuBar(menu_bar.java)
d59d4ef5ca46 swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1616
diff changeset
54 end
1616
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 set_metatable(frame,mt)
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 return frame
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 end
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58
1937
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
59 function Frame.new(props)
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
60 local jframe = JFrame.new()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
61 jframe.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
62 return new2( {java=jframe}, props )
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
63 end
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
64
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
65 function Frame.get_all_frames()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
66 local all = {}
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
67 local no_props = {}
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
68 for _, jframe in ipairs{JFrame.getFrames()} do
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
69 all[#all+1] = new2( {java=jframe}, no_props )
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
70 end
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
71 return all
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
72 end
Franklin Schmidt <fschmidt@gmail.com>
parents: 1916
diff changeset
73
1616
915cb538e2a3 start swing
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 return Frame