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)