diff src/luan_editor/find.luan @ 69:3867e9e1b94c

list to_front
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 10 Jun 2025 20:47:20 -0600
parents dcd7d082196f
children f4e393a13d59
line wrap: on
line diff
--- a/src/luan_editor/find.luan	Tue Jun 10 20:32:40 2025 -0600
+++ b/src/luan_editor/find.luan	Tue Jun 10 20:47:20 2025 -0600
@@ -151,7 +151,7 @@
 	local find_panel = new_panel{
 		constraints = "growy 0,growx"
 		layout = new_mig_layout("insets 8 16 0 16","[][grow][grow 0]")
-		visible = false
+		is_visible = false
 		children = {
 			new_label{
 				constraints = "right"
@@ -203,9 +203,9 @@
 			}
 		}
 	}
-	function window.show_find_panel(visible)
-		find_panel.visible = visible
-		if visible then
+	function window.show_find_panel(is_visible)
+		find_panel.is_visible = is_visible
+		if is_visible then
 			find_field.request_focus_in_window()
 			find_field.select_all()
 		else