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) |