Mercurial Hosting > editor
diff src/luan_editor/menu.luan @ 70:f4e393a13d59 default tip
no find toggle
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Tue, 10 Jun 2025 22:34:24 -0600 |
parents | 1c68552e8ac2 |
children |
line wrap: on
line diff
--- a/src/luan_editor/menu.luan Tue Jun 10 20:47:20 2025 -0600 +++ b/src/luan_editor/menu.luan Tue Jun 10 22:34:24 2025 -0600 @@ -61,15 +61,6 @@ update_undo_redo() document.add_undo_listener(update_undo_redo) - local find_menu_item = new_check_box_menu_item{ - text = "Find and Replace" - accelerator = "F" - action_listener = function(event) - window.show_find_panel(event.source.state) - end - } - window.find_menu_item = find_menu_item - local menu_bar = new_menu_bar{ menus = { new_menu{ @@ -164,7 +155,16 @@ new_menu{ text = "Find" menu_items = { - find_menu_item + new_menu_item{ + text = "Find and Replace" + accelerator = "F" + action_listener = action_listener(window.show_find_panel) + } + new_menu_item{ + text = "Close Find and Replace" + accelerator = "shift F" + action_listener = action_listener(window.hide_find_panel) + } new_menu_item{ text = "Find Case Insensitive" action_listener = window.find_case_insensitive