Mercurial Hosting > editor

comparison editor.luan @ 31:415b7754ac55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
work
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 13 Apr 2025 20:59:49 -0600
parents 8e32ad89c2a1
children 15dacd8f5bfc
comparison
equal deleted inserted replaced
30:8e32ad89c2a1 31:415b7754ac55
37 local show_message_dialog = Option_pane.show_message_dialog or error() 37 local show_message_dialog = Option_pane.show_message_dialog or error()
38 local show_input_dialog = Option_pane.show_input_dialog or error() 38 local show_input_dialog = Option_pane.show_input_dialog or error()
39 local new_dialog = require("luan:swing/Dialog.luan").new or error() 39 local new_dialog = require("luan:swing/Dialog.luan").new or error()
40 local new_panel = require("luan:swing/Component.luan").new_panel or error() 40 local new_panel = require("luan:swing/Component.luan").new_panel or error()
41 local new_button = require("luan:swing/Button.luan").new or error() 41 local new_button = require("luan:swing/Button.luan").new or error()
42 local new_check_box = require("luan:swing/Check_box.luan").new or error()
42 local new_text_field = require("luan:swing/Text_field.luan").new or error() 43 local new_text_field = require("luan:swing/Text_field.luan").new or error()
43 local Logging = require "luan:logging/Logging.luan" 44 local Logging = require "luan:logging/Logging.luan"
44 local logger = Logging.logger "editor" 45 local logger = Logging.logger "editor"
45 46
46 47
264 action = "next" 265 action = "next"
265 action_listener = find_match 266 action_listener = find_match
266 } 267 }
267 output = new_label{ 268 output = new_label{
268 constraints = "span" 269 constraints = "span"
269 text = "testing"
270 } 270 }
271 local find_panel = new_panel{ 271 local find_panel = new_panel{
272 constraints = "growy 0,growx" 272 constraints = "growy 0,growx"
273 layout = new_mig_layout("","[][grow][grow 0]") 273 layout = new_mig_layout("","[][grow][grow 0]")
274 visible = false 274 visible = false
303 text = "Replace" 303 text = "Replace"
304 } 304 }
305 new_button{ 305 new_button{
306 constraints = "grow,wrap" 306 constraints = "grow,wrap"
307 text = "Replace All" 307 text = "Replace All"
308 }
309 new_panel{
310 constraints = "span,wrap"
311 layout = new_mig_layout("insets 0,gap 16px")
312 children = {
313 new_check_box{
314 text = "Use Regex"
315 }
316 new_button{
317 text = "Convert Leading Tabs to Spaces"
318 }
319 new_button{
320 text = "Convert Leading Spaces to Tabs"
321 }
322 }
308 } 323 }
309 output 324 output
310 } 325 }
311 } 326 }
312 function window.show_find_panel(visible) 327 function window.show_find_panel(visible)