Mercurial Hosting > editor
comparison src/luan_editor/find.luan @ 54:dcd7d082196f default tip
minor
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Sun, 25 May 2025 15:09:49 -0600 |
| parents | b7ff52d45b9a |
| children |
comparison
equal
deleted
inserted
replaced
| 53:d5681da8ece8 | 54:dcd7d082196f |
|---|---|
| 205 } | 205 } |
| 206 function window.show_find_panel(visible) | 206 function window.show_find_panel(visible) |
| 207 find_panel.visible = visible | 207 find_panel.visible = visible |
| 208 if visible then | 208 if visible then |
| 209 find_field.request_focus_in_window() | 209 find_field.request_focus_in_window() |
| 210 find_field.select_all() | |
| 210 else | 211 else |
| 211 text_area.clear_hightlights() | 212 text_area.clear_hightlights() |
| 212 end | 213 end |
| 213 end | 214 end |
| 214 function window.find_case_insensitive(_) | 215 function window.find_case_insensitive(_) |