Mercurial Hosting > editor
annotate src/luan_editor/menu.luan @ 58:7e2d6426c155 default tip
cross-platform accelerators
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Fri, 30 May 2025 13:17:51 -0600 |
| parents | 6059b4e22d47 |
| children |
| rev | line source |
|---|---|
| 37 | 1 local Luan = require "luan:Luan.luan" |
| 2 local error = Luan.error | |
| 40 | 3 local ipairs = Luan.ipairs or error() |
| 37 | 4 local String = require "luan:String.luan" |
| 5 local to_number = String.to_number or error() | |
| 6 local new_menu_item = require("luan:swing/Menu_item.luan").new or error() | |
| 7 local new_check_box_menu_item = require("luan:swing/Check_box_menu_item.luan").new or error() | |
| 8 local new_menu_bar = require("luan:swing/Menu_bar.luan").new or error() | |
| 9 local Menu = require "luan:swing/Menu.luan" | |
| 10 local new_menu = Menu.new or error() | |
| 11 local separator = Menu.separator or error() | |
| 12 local Option_pane = require "luan:swing/Option_pane.luan" | |
| 13 local show_message_dialog = Option_pane.show_message_dialog or error() | |
| 14 local show_input_dialog = Option_pane.show_input_dialog or error() | |
| 40 | 15 local Frame = require "luan:swing/Frame.luan" |
| 16 local get_all_frames = Frame.get_all_frames or error() | |
| 37 | 17 local Spell_checker = require "classpath:luan_editor/Spell_checker.luan" |
| 18 local spell_check = Spell_checker.spell_check or error() | |
| 56 | 19 local Window = require "classpath:luan_editor/Window.luan" |
| 20 local show_list_window = Window.show_list_window or error() | |
| 37 | 21 |
| 22 | |
| 23 local function action_listener(fn) | |
| 24 return function(_) | |
| 25 fn() | |
| 26 end | |
| 27 end | |
| 28 | |
| 29 local function add_menu_bar(window) | |
| 30 local text_area = window.text_area | |
| 31 local document = text_area.document | |
| 32 local status_bar = window.status_bar | |
| 33 local revert = new_menu_item{ | |
| 34 text = "Revert" | |
| 35 enabled = window.has_file | |
| 36 action_listener = action_listener(window.revert) | |
| 37 } | |
| 48 | 38 local view_file_path = new_menu_item{ |
| 39 text = "File Path" | |
| 40 enabled = window.has_file | |
| 41 action_listener = function(_) | |
| 42 status_bar.text = window.title() | |
| 43 end | |
| 44 } | |
| 37 | 45 local undo = new_menu_item{ |
| 46 text = "Undo" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
47 accelerator = "Z" |
| 37 | 48 action_listener = action_listener(document.undo) |
| 49 } | |
| 50 local redo = new_menu_item{ | |
| 51 text = "Redo" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
52 accelerator = "shift Z" |
| 37 | 53 action_listener = action_listener(document.redo) |
| 54 } | |
| 55 local function update_undo_redo() | |
| 56 undo.set_enabled(document.can_undo()) | |
| 57 redo.set_enabled(document.can_redo()) | |
| 58 end | |
| 59 window.update_undo_redo = update_undo_redo -- dont gc | |
| 60 update_undo_redo() | |
| 61 document.add_undo_listener(update_undo_redo) | |
| 62 | |
| 63 local find_menu_item = new_check_box_menu_item{ | |
| 64 text = "Find and Replace" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
65 accelerator = "F" |
| 37 | 66 action_listener = function(event) |
| 67 window.show_find_panel(event.source.state) | |
| 68 end | |
| 69 } | |
| 70 window.find_menu_item = find_menu_item | |
| 71 | |
| 72 local menu_bar = new_menu_bar{ | |
| 73 menus = { | |
| 74 new_menu{ | |
| 75 text = "File" | |
| 76 menu_items = { | |
| 77 new_menu_item{ | |
| 78 text = "New File" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
79 accelerator = "N" |
| 37 | 80 action_listener = action_listener(window.new) |
| 81 } | |
| 82 new_menu_item{ | |
| 83 text = "Open..." | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
84 accelerator = "O" |
| 37 | 85 action_listener = action_listener(window.open) |
| 86 } | |
| 87 new_menu_item{ | |
| 88 text = "Save" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
89 accelerator = "S" |
| 37 | 90 action_listener = function(_) |
| 91 if window.save() then | |
| 92 revert.set_enabled(true) | |
| 48 | 93 view_file_path.set_enabled(true) |
| 37 | 94 end |
| 95 end | |
| 96 } | |
| 97 new_menu_item{ | |
| 98 text = "Print" | |
| 99 action_listener = action_listener(text_area.print) | |
| 100 } | |
| 101 revert | |
| 55 | 102 new_menu_item{ |
| 103 text = "Paste File(s)" | |
| 104 action_listener = function(_) | |
| 105 if not window.paste_files() then | |
| 106 show_message_dialog(nil,"No files to paste") | |
| 107 end | |
| 108 end | |
| 109 } | |
| 37 | 110 --[[ |
| 111 new_menu_item{ | |
| 112 text = "Test" | |
| 113 action_listener = function(_) | |
| 114 local location = window.frame.location | |
| 115 location.y = location.y - 20 | |
| 116 window.frame.location = location | |
| 117 end | |
| 118 } | |
| 119 ]] | |
| 120 } | |
| 121 } | |
| 122 new_menu{ | |
| 123 text = "Edit" | |
| 124 menu_items = { | |
| 125 undo | |
| 126 redo | |
| 127 separator | |
| 128 new_menu_item{ | |
| 129 text = "Cut" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
130 accelerator = "X" |
| 37 | 131 action_listener = action_listener(text_area.cut) |
| 132 } | |
| 133 new_menu_item{ | |
| 134 text = "Copy" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
135 accelerator = "C" |
| 37 | 136 action_listener = action_listener(text_area.copy) |
| 137 } | |
| 138 new_menu_item{ | |
| 139 text = "Paste" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
140 accelerator = "V" |
| 37 | 141 action_listener = action_listener(text_area.paste) |
| 142 } | |
| 143 separator | |
| 144 new_menu_item{ | |
| 145 text = "Indent" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
146 accelerator = "CLOSE_BRACKET" |
| 37 | 147 action_listener = action_listener(window.indent) |
| 148 } | |
| 149 new_menu_item{ | |
| 150 text = "Unindent" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
151 accelerator = "OPEN_BRACKET" |
| 37 | 152 action_listener = action_listener(window.unindent) |
| 153 } | |
| 154 separator | |
| 155 new_menu_item{ | |
| 156 text = "Select All" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
157 accelerator = "A" |
| 37 | 158 action_listener = action_listener(text_area.select_all) |
| 159 } | |
| 160 } | |
| 161 } | |
| 162 new_menu{ | |
| 163 text = "Find" | |
| 164 menu_items = { | |
| 165 find_menu_item | |
| 166 new_menu_item{ | |
| 167 text = "Find Case Insensitive" | |
| 168 action_listener = window.find_case_insensitive | |
| 169 } | |
| 170 new_menu_item{ | |
| 171 text = "Convert Leading Tabs to Spaces" | |
| 172 action_listener = window.tabs_to_spaces | |
| 173 } | |
| 174 new_menu_item{ | |
| 175 text = "Convert Leading Spaces to Tabs" | |
| 176 action_listener = window.spaces_to_tabs | |
| 177 } | |
| 178 } | |
| 179 } | |
| 180 new_menu{ | |
| 181 text = "View" | |
| 182 menu_items = { | |
| 183 new_check_box_menu_item{ | |
| 184 text = "Word Wrap" | |
| 185 state = text_area.line_wrap | |
| 186 action_listener = function(event) | |
| 187 window.set_line_wrap(event.source.state) | |
| 188 end | |
| 189 } | |
| 190 new_check_box_menu_item{ | |
| 191 text = "Show Whitespace" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
192 accelerator = "W" |
| 37 | 193 state = text_area.whitespace_visible |
| 194 action_listener = function(event) | |
| 195 window.set_whitespace_visible(event.source.state) | |
| 196 end | |
| 197 } | |
| 198 new_check_box_menu_item{ | |
| 199 text = "Spell Check" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
200 accelerator = "SEMICOLON" |
| 37 | 201 action_listener = function(event) |
| 202 spell_check(text_area,event.source.state) | |
| 203 end | |
| 204 } | |
| 205 new_menu_item{ | |
| 206 text = "Cursor Column" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
207 accelerator = "B" |
| 37 | 208 action_listener = function(_) |
| 209 status_bar.text = "Cursor Column: "..window.cursor_column() | |
| 210 end | |
| 211 } | |
| 212 new_menu_item{ | |
| 213 text = "Goto Line" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
214 accelerator = "G" |
| 37 | 215 action_listener = function(_) |
| 216 local input = show_input_dialog( window.frame, "Goto line" ) | |
| 217 if input == nil then | |
| 218 return | |
| 219 end | |
| 220 local line = to_number(input) | |
| 221 try | |
| 222 window.goto(line) | |
| 223 status_bar.text = "Went to line "..line | |
| 224 catch e | |
| 225 status_bar.text = "Invalid line: "..input | |
| 226 end | |
| 227 end | |
| 228 } | |
| 229 new_menu_item{ | |
| 230 text = "Tab Size" | |
| 231 action_listener = function(_) | |
| 232 local input = show_input_dialog( window.frame, "Tab size", text_area.tab_size ) | |
| 233 if input == nil then | |
| 234 return | |
| 235 end | |
| 236 local size = to_number(input) | |
| 237 try | |
| 238 window.set_tab_size(size) | |
| 239 status_bar.text = "Set tab size to "..size | |
| 240 catch e | |
| 241 status_bar.text = "Invalid tab size: "..input | |
| 242 end | |
| 243 end | |
| 244 } | |
| 48 | 245 view_file_path |
| 37 | 246 } |
| 247 } | |
| 38 | 248 new_menu{ |
| 249 text = "Window" | |
| 250 menu_items = { | |
| 251 new_menu_item{ | |
| 252 text = "Duplicate Window" | |
| 253 action_listener = action_listener(window.duplicate) | |
| 254 } | |
| 40 | 255 new_menu_item{ |
| 256 text = "Align Windows" | |
| 257 action_listener = function(_) | |
| 258 local this_frame = window.frame | |
| 259 local location = this_frame.location | |
| 260 local size = this_frame.size | |
| 261 for _, frame in ipairs(get_all_frames()) do | |
| 262 frame.location = location | |
| 263 frame.size = size | |
| 264 end | |
| 265 end | |
| 266 } | |
| 41 | 267 new_menu_item{ |
| 268 text = "List Windows" | |
|
58
7e2d6426c155
cross-platform accelerators
Franklin Schmidt <fschmidt@gmail.com>
parents:
56
diff
changeset
|
269 accelerator = "L" |
| 56 | 270 action_listener = action_listener(show_list_window) |
| 41 | 271 } |
| 38 | 272 } |
| 273 } | |
| 37 | 274 } |
| 275 } | |
| 276 window.frame.set_menu_bar(menu_bar) | |
| 277 end | |
| 278 | |
| 279 return add_menu_bar |