Mercurial Hosting > editor
comparison 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 |
comparison
equal
deleted
inserted
replaced
| 68:694359b01e06 | 69:3867e9e1b94c |
|---|---|
| 149 text = "Use Regex" | 149 text = "Use Regex" |
| 150 } | 150 } |
| 151 local find_panel = new_panel{ | 151 local find_panel = new_panel{ |
| 152 constraints = "growy 0,growx" | 152 constraints = "growy 0,growx" |
| 153 layout = new_mig_layout("insets 8 16 0 16","[][grow][grow 0]") | 153 layout = new_mig_layout("insets 8 16 0 16","[][grow][grow 0]") |
| 154 visible = false | 154 is_visible = false |
| 155 children = { | 155 children = { |
| 156 new_label{ | 156 new_label{ |
| 157 constraints = "right" | 157 constraints = "right" |
| 158 text = "Find:" | 158 text = "Find:" |
| 159 } | 159 } |
| 201 } | 201 } |
| 202 } | 202 } |
| 203 } | 203 } |
| 204 } | 204 } |
| 205 } | 205 } |
| 206 function window.show_find_panel(visible) | 206 function window.show_find_panel(is_visible) |
| 207 find_panel.visible = visible | 207 find_panel.is_visible = is_visible |
| 208 if visible then | 208 if is_visible then |
| 209 find_field.request_focus_in_window() | 209 find_field.request_focus_in_window() |
| 210 find_field.select_all() | 210 find_field.select_all() |
| 211 else | 211 else |
| 212 text_area.clear_hightlights() | 212 text_area.clear_hightlights() |
| 213 end | 213 end |