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