comparison src/luan_editor/menu.luan @ 70:f4e393a13d59

no find toggle
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 10 Jun 2025 22:34:24 -0600
parents 1c68552e8ac2
children c3b0fba5c2bc
comparison
equal deleted inserted replaced
69:3867e9e1b94c 70:f4e393a13d59
59 end 59 end
60 window.update_undo_redo = update_undo_redo -- dont gc 60 window.update_undo_redo = update_undo_redo -- dont gc
61 update_undo_redo() 61 update_undo_redo()
62 document.add_undo_listener(update_undo_redo) 62 document.add_undo_listener(update_undo_redo)
63 63
64 local find_menu_item = new_check_box_menu_item{
65 text = "Find and Replace"
66 accelerator = "F"
67 action_listener = function(event)
68 window.show_find_panel(event.source.state)
69 end
70 }
71 window.find_menu_item = find_menu_item
72
73 local menu_bar = new_menu_bar{ 64 local menu_bar = new_menu_bar{
74 menus = { 65 menus = {
75 new_menu{ 66 new_menu{
76 text = "File" 67 text = "File"
77 menu_items = { 68 menu_items = {
162 } 153 }
163 } 154 }
164 new_menu{ 155 new_menu{
165 text = "Find" 156 text = "Find"
166 menu_items = { 157 menu_items = {
167 find_menu_item 158 new_menu_item{
159 text = "Find and Replace"
160 accelerator = "F"
161 action_listener = action_listener(window.show_find_panel)
162 }
163 new_menu_item{
164 text = "Close Find and Replace"
165 accelerator = "shift F"
166 action_listener = action_listener(window.hide_find_panel)
167 }
168 new_menu_item{ 168 new_menu_item{
169 text = "Find Case Insensitive" 169 text = "Find Case Insensitive"
170 action_listener = window.find_case_insensitive 170 action_listener = window.find_case_insensitive
171 } 171 }
172 new_menu_item{ 172 new_menu_item{