Mercurial Hosting > editor
changeset 31:415b7754ac55
work
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sun, 13 Apr 2025 20:59:49 -0600 |
parents | 8e32ad89c2a1 |
children | 15dacd8f5bfc |
files | editor.luan |
diffstat | 1 files changed, 16 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
diff -r 8e32ad89c2a1 -r 415b7754ac55 editor.luan --- a/editor.luan Sun Apr 13 16:51:06 2025 -0600 +++ b/editor.luan Sun Apr 13 20:59:49 2025 -0600 @@ -39,6 +39,7 @@ local new_dialog = require("luan:swing/Dialog.luan").new or error() local new_panel = require("luan:swing/Component.luan").new_panel or error() local new_button = require("luan:swing/Button.luan").new or error() +local new_check_box = require("luan:swing/Check_box.luan").new or error() local new_text_field = require("luan:swing/Text_field.luan").new or error() local Logging = require "luan:logging/Logging.luan" local logger = Logging.logger "editor" @@ -266,7 +267,6 @@ } output = new_label{ constraints = "span" - text = "testing" } local find_panel = new_panel{ constraints = "growy 0,growx" @@ -306,6 +306,21 @@ constraints = "grow,wrap" text = "Replace All" } + new_panel{ + constraints = "span,wrap" + layout = new_mig_layout("insets 0,gap 16px") + children = { + new_check_box{ + text = "Use Regex" + } + new_button{ + text = "Convert Leading Tabs to Spaces" + } + new_button{ + text = "Convert Leading Spaces to Tabs" + } + } + } output } }