Mercurial Hosting > editor
comparison editor.luan @ 23:e4af9e024d63
work
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Wed, 09 Apr 2025 08:58:42 -0600 |
| parents | b2d9b3836c2b |
| children | da93a58e24aa |
comparison
equal
deleted
inserted
replaced
| 22:b2d9b3836c2b | 23:e4af9e024d63 |
|---|---|
| 188 } | 188 } |
| 189 } | 189 } |
| 190 end | 190 end |
| 191 | 191 |
| 192 local function make_find_dialog(window) | 192 local function make_find_dialog(window) |
| 193 local dialog = new_dialog(window.frame) | 193 local dialog = new_dialog{ |
| 194 local root = dialog.component | 194 owner_frame = window.frame |
| 195 root.set_layout(new_box_layout(root,"y_axis")) | 195 content_pane = new_panel{ |
| 196 root.add_all{ | 196 layout = function(this) return new_box_layout(this,"y_axis") end |
| 197 new_panel{ | |
| 198 layout = new_flow_layout("left") | |
| 199 --border = create_empty_border(8,8,8,8) | |
| 200 border = create_line_border(int_to_color(0)) | |
| 201 children = { | 197 children = { |
| 202 new_button{ | 198 new_panel{ |
| 203 text = "Find Next" | 199 layout = new_flow_layout("left") |
| 204 } | 200 --border = create_empty_border(8,8,8,8) |
| 205 new_button{ | 201 border = create_line_border(int_to_color(0)) |
| 206 text = "Find Previous" | 202 children = { |
| 203 new_button{ | |
| 204 text = "Find Next" | |
| 205 } | |
| 206 new_button{ | |
| 207 text = "Find Previous" | |
| 208 } | |
| 209 } | |
| 207 } | 210 } |
| 208 } | 211 } |
| 209 } | 212 } |
| 210 } | 213 } |
| 211 dialog.pack() | 214 dialog.pack() |
