Mercurial Hosting > editor
changeset 54:dcd7d082196f default tip
minor
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sun, 25 May 2025 15:09:49 -0600 |
parents | d5681da8ece8 |
children | |
files | src/luan_editor/find.luan |
diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
diff -r d5681da8ece8 -r dcd7d082196f src/luan_editor/find.luan --- a/src/luan_editor/find.luan Sat May 24 21:52:13 2025 -0600 +++ b/src/luan_editor/find.luan Sun May 25 15:09:49 2025 -0600 @@ -207,6 +207,7 @@ find_panel.visible = visible if visible then find_field.request_focus_in_window() + find_field.select_all() else text_area.clear_hightlights() end