annotate editor.luan @ 3:a79a840691b1

handle args
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 31 Mar 2025 17:17:38 -0600
parents f38f6e903369
children 3d6414265959
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
3
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
3 local ipairs = Luan.ipairs or error()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local Io = require "luan:Io.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local print = Io.print or error()
3
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
6 local new_file = Io.schemes.file or error()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local Swing = require "luan:swing/Swing.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local new_frame = require("luan:swing/Frame.luan").new or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local new_label = require("luan:swing/Label.luan").new or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local new_text_area = require("luan:swing/Text_area.luan").new or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local new_scroll_pane = require("luan:swing/Scroll_pane.luan").new or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local new_list = require("luan:swing/List.luan").new or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 local new_menu_bar = require("luan:swing/Menu_bar.luan").new or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local new_menu = require("luan:swing/Menu.luan").new or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 local new_menu_item = require("luan:swing/Menu_item.luan").new or error()
2
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
16 local new_check_box_menu_item = require("luan:swing/Check_box_menu_item.luan").new or error()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 local Logging = require "luan:logging/Logging.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 local logger = Logging.logger "editor"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 local new_window
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22
1
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
23 local function make_menu_bar(window)
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 local menu_bar = new_menu_bar()
1
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
25 local file_menu = new_menu()
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
26 file_menu.text = "File"
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
27 local new_file = new_menu_item()
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
28 new_file.text = "New File"
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
29 new_file.accelerator = "meta N"
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
30 new_file.add_action_listener(function()
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
31 new_window()
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
32 end)
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
33 file_menu.add(new_file)
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
34 local open = new_menu_item()
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
35 open.text = "Open..."
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
36 open.accelerator = "meta O"
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
37 open.add_action_listener(function()
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
38 local file_chooser = window.frame.file_chooser_load()
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
39 if window.file ~= nil then
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
40 file_chooser.directory = window.file.parent()
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
41 end
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
42 file_chooser.visible = true
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
43 local file = file_chooser.file
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
44 if file ~= nil then
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
45 new_window(file)
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
46 end
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
47 end)
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
48 file_menu.add(open)
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
49 menu_bar.add(file_menu)
2
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
50 local view_menu = new_menu()
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
51 view_menu.text = "View"
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
52 local word_wrap = new_check_box_menu_item()
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
53 word_wrap.text = "Word Wrap"
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
54 word_wrap.state = window.text_area.line_wrap
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
55 word_wrap.add_action_listener(function()
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
56 window.text_area.line_wrap = word_wrap.state
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
57 end)
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
58 view_menu.add(word_wrap)
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
59 menu_bar.add(view_menu)
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 return menu_bar
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 local n_windows = 0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64
1
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
65 function new_window(file)
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 local frame = new_frame()
3
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
67 frame.title = file and file.canonical().to_string() or "untitled"
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68 frame.add_close_listener(function()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69 n_windows = n_windows - 1
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70 if n_windows == 0 then
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
71 Luan.exit()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
72 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
73 end)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 local text_area = new_text_area()
3
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
75 if file ~= nil and file.is_file() then
1
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
76 text_area.text = file.read_text()
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
77 end
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
78 text_area.rows = 10
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
79 text_area.columns = 20
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
80 text_area.wrap_style_word = true
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
81 text_area.line_wrap = true
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
82 text_area.tab_size = 4
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 text_area.set_font{ family="Monospaced", size=13 }
1
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
84 text_area.select(0,0)
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85 --print(text_area.line_count)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 local scroll_pane = new_scroll_pane(text_area)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 local list = new_list()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88 list.add_element("1")
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
89 list.add_element("2")
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90 list.add_element("3")
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91 --scroll_pane.set_row_header_view(list)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92 frame.add(scroll_pane)
1
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
93 local window = {
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
94 frame = frame
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
95 file = file
2
f38f6e903369 word wrap in menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
96 text_area = text_area
1
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
97 }
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
98 local menu_bar = make_menu_bar(window)
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
99 frame.set_menu_bar(menu_bar)
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
100 frame.pack()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
101 frame.visible = true
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
102 text_area.request_focus_in_window()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
103 n_windows = n_windows + 1
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
104 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
105
1
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
106 Swing.run(function()
3
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
107 local args = Luan.arg
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
108 if #args == 0 then
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
109 new_window()
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
110 else
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
111 for _, arg in ipairs(args) do
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
112 local file = new_file(arg)
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
113 new_window(file)
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
114 end
a79a840691b1 handle args
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
115 end
1
9aa38deb5883 add open
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
116 end)