1616
|
1 local Luan = require "luan:Luan.luan"
|
|
2 local error = Luan.error
|
|
3 local set_metatable = Luan.set_metatable or error()
|
|
4 require "java"
|
|
5 local JScrollPane = require "java:javax.swing.JScrollPane"
|
|
6
|
|
7
|
|
8 local Scroll_pane = {}
|
|
9
|
|
10 local mt = {}
|
|
11
|
|
12 function mt.__index(scroll_pane,key)
|
|
13 error("'"..key.."' not defined")
|
|
14 end
|
|
15
|
|
16 function mt.__new_index(scroll_pane,key,value)
|
|
17 error("'"..key.."' not defined")
|
|
18 end
|
|
19
|
|
20 function Scroll_pane.new(view)
|
|
21 local jscroll_pane = JScrollPane.new(view.java)
|
|
22 local scroll_pane = { java = jscroll_pane }
|
|
23 function scroll_pane.set_row_header_view(view)
|
|
24 jscroll_pane.setRowHeaderView(view.java)
|
|
25 end
|
|
26 set_metatable(scroll_pane,mt)
|
|
27 return scroll_pane
|
|
28 end
|
|
29
|
|
30 return Scroll_pane
|