diff 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
line wrap: on
line diff
--- a/src/luan_editor/menu.luan	Thu May 29 22:29:34 2025 -0600
+++ b/src/luan_editor/menu.luan	Fri May 30 13:17:51 2025 -0600
@@ -44,12 +44,12 @@
 	}
 	local undo = new_menu_item{
 		text = "Undo"
-		accelerator = "meta Z"
+		accelerator = "Z"
 		action_listener = action_listener(document.undo)
 	}
 	local redo = new_menu_item{
 		text = "Redo"
-		accelerator = "meta shift Z"
+		accelerator = "shift Z"
 		action_listener = action_listener(document.redo)
 	}
 	local function update_undo_redo()
@@ -62,7 +62,7 @@
 
 	local find_menu_item = new_check_box_menu_item{
 		text = "Find and Replace"
-		accelerator = "meta F"
+		accelerator = "F"
 		action_listener = function(event)
 			window.show_find_panel(event.source.state)
 		end
@@ -76,17 +76,17 @@
 				menu_items = {
 					new_menu_item{
 						text = "New File"
-						accelerator = "meta N"
+						accelerator = "N"
 						action_listener = action_listener(window.new)
 					}
 					new_menu_item{
 						text = "Open..."
-						accelerator = "meta O"
+						accelerator = "O"
 						action_listener = action_listener(window.open)
 					}
 					new_menu_item{
 						text = "Save"
-						accelerator = "meta S"
+						accelerator = "S"
 						action_listener = function(_)
 							if window.save() then
 								revert.set_enabled(true)
@@ -127,34 +127,34 @@
 					separator
 					new_menu_item{
 						text = "Cut"
-						accelerator = "meta X"
+						accelerator = "X"
 						action_listener = action_listener(text_area.cut)
 					}
 					new_menu_item{
 						text = "Copy"
-						accelerator = "meta C"
+						accelerator = "C"
 						action_listener = action_listener(text_area.copy)
 					}
 					new_menu_item{
 						text = "Paste"
-						accelerator = "meta V"
+						accelerator = "V"
 						action_listener = action_listener(text_area.paste)
 					}
 					separator
 					new_menu_item{
 						text = "Indent"
-						accelerator = "meta CLOSE_BRACKET"
+						accelerator = "CLOSE_BRACKET"
 						action_listener = action_listener(window.indent)
 					}
 					new_menu_item{
 						text = "Unindent"
-						accelerator = "meta OPEN_BRACKET"
+						accelerator = "OPEN_BRACKET"
 						action_listener = action_listener(window.unindent)
 					}
 					separator
 					new_menu_item{
 						text = "Select All"
-						accelerator = "meta A"
+						accelerator = "A"
 						action_listener = action_listener(text_area.select_all)
 					}
 				}
@@ -189,7 +189,7 @@
 					}
 					new_check_box_menu_item{
 						text = "Show Whitespace"
-						accelerator = "meta W"
+						accelerator = "W"
 						state = text_area.whitespace_visible
 						action_listener = function(event)
 							window.set_whitespace_visible(event.source.state)
@@ -197,21 +197,21 @@
 					}
 					new_check_box_menu_item{
 						text = "Spell Check"
-						accelerator = "meta SEMICOLON"
+						accelerator = "SEMICOLON"
 						action_listener = function(event)
 							spell_check(text_area,event.source.state)
 						end
 					}
 					new_menu_item{
 						text = "Cursor Column"
-						accelerator = "meta B"
+						accelerator = "B"
 						action_listener = function(_)
 							status_bar.text = "Cursor Column: "..window.cursor_column()
 						end
 					}
 					new_menu_item{
 						text = "Goto Line"
-						accelerator = "meta G"
+						accelerator = "G"
 						action_listener = function(_)
 							local input = show_input_dialog( window.frame, "Goto line" )
 							if input == nil then
@@ -266,7 +266,7 @@
 					}
 					new_menu_item{
 						text = "List Windows"
-						accelerator = "meta L"
+						accelerator = "L"
 						action_listener = action_listener(show_list_window)
 					}
 				}