Mercurial Hosting > editor
comparison editor.luan @ 30:8e32ad89c2a1
work
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Sun, 13 Apr 2025 16:51:06 -0600 |
| parents | 01b8a25b38aa |
| children | 415b7754ac55 |
comparison
equal
deleted
inserted
replaced
| 29:01b8a25b38aa | 30:8e32ad89c2a1 |
|---|---|
| 258 error(action) | 258 error(action) |
| 259 end | 259 end |
| 260 end | 260 end |
| 261 find_field = new_text_field{ | 261 find_field = new_text_field{ |
| 262 constraints = "growx" | 262 constraints = "growx" |
| 263 columns = 20 | 263 show_whitespace = true |
| 264 action = "next" | 264 action = "next" |
| 265 action_listener = find_match | 265 action_listener = find_match |
| 266 } | 266 } |
| 267 output = new_label{ | 267 output = new_label{ |
| 268 constraints = "span" | 268 constraints = "span" |
| 276 new_label{ | 276 new_label{ |
| 277 constraints = "right" | 277 constraints = "right" |
| 278 text = "Find:" | 278 text = "Find:" |
| 279 } | 279 } |
| 280 find_field | 280 find_field |
| 281 new_panel{ | 281 new_button{ |
| 282 constraints = "wrap" | 282 constraints = "grow" |
| 283 layout = new_mig_layout("insets 0") | 283 text = "Find Next" |
| 284 children = { | 284 action = "next" |
| 285 new_button{ | 285 action_listener = find_match |
| 286 text = "Find Next" | 286 } |
| 287 action = "next" | 287 new_button{ |
| 288 action_listener = find_match | 288 constraints = "grow,wrap" |
| 289 } | 289 text = "Find Previous" |
| 290 new_button{ | 290 action = "previous" |
| 291 text = "Find Previous" | 291 action_listener = find_match |
| 292 action = "previous" | |
| 293 action_listener = find_match | |
| 294 } | |
| 295 } | |
| 296 } | 292 } |
| 297 new_label{ | 293 new_label{ |
| 298 constraints = "right" | 294 constraints = "right" |
| 299 text = "Replace:" | 295 text = "Replace:" |
| 300 } | 296 } |
| 301 new_text_field{ | 297 new_text_field{ |
| 302 constraints = "growx" | 298 constraints = "growx" |
| 303 columns = 20 | 299 show_whitespace = true |
| 304 } | 300 } |
| 305 new_button{ | 301 new_button{ |
| 306 constraints = "wrap" | 302 constraints = "grow" |
| 307 text = "Replace" | 303 text = "Replace" |
| 304 } | |
| 305 new_button{ | |
| 306 constraints = "grow,wrap" | |
| 307 text = "Replace All" | |
| 308 } | 308 } |
| 309 output | 309 output |
| 310 } | 310 } |
| 311 } | 311 } |
| 312 function window.show_find_panel(visible) | 312 function window.show_find_panel(visible) |
