Mercurial Hosting > editor
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