Mercurial Hosting > editor
changeset 26:ba895419fb04
work
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Thu, 10 Apr 2025 18:49:26 -0600 |
parents | ce3d1dc406a8 |
children | 32232df78246 |
files | editor.luan |
diffstat | 1 files changed, 2 insertions(+), 80 deletions(-) [+] |
line wrap: on
line diff
diff -r ce3d1dc406a8 -r ba895419fb04 editor.luan --- a/editor.luan Thu Apr 10 11:41:25 2025 -0600 +++ b/editor.luan Thu Apr 10 18:49:26 2025 -0600 @@ -28,9 +28,8 @@ local Border = require "luan:swing/Border.luan" local create_empty_border = Border.create_empty_border or error() local create_line_border = Border.create_line_border or error() +local no_border = Border.no_border or error() local Layout = require "luan:swing/Layout.luan" -local new_flow_layout = Layout.new_flow_layout or error() -local new_box_layout = Layout.new_box_layout or error() local new_mig_layout = Layout.new_mig_layout or error() local Option_pane = require "luan:swing/Option_pane.luan" local show_message_dialog = Option_pane.show_message_dialog or error() @@ -194,69 +193,6 @@ local function make_find_dialog(window) local dialog = new_dialog{ owner_frame = window.frame ---[[ - content_pane = new_panel{ - layout = function(this) return new_box_layout(this,"y_axis") end - children = { - new_panel{ - layout = new_flow_layout() - children = { - new_text_field{ - columns = 10 - } - } - } - new_panel{ - layout = new_flow_layout("left") - --border = create_empty_border(8,8,8,8) - border = create_line_border(int_to_color(0)) - children = { - new_button{ - text = "Find Next" - } - new_button{ - text = "Find Previous" - } - } - } - } - } -]] ---[[ - content_pane = new_panel{ - layout = new_grid_bag_layout() - alignment_x = "left" - border = create_line_border(int_to_color(0)) - children = { - new_text_field{ - constraints = new_grid_bag_constraints{ - gridx = 1 - gridy = 1 - } - columns = 10 - border = create_line_border(int_to_color(0)) - } - new_panel{ - constraints = new_grid_bag_constraints{ - gridx = 1 - gridy = 2 - } - layout = new_flow_layout("left") - --border = create_empty_border(8,8,8,8) - border = create_line_border(int_to_color(0)) - children = { - new_button{ - text = "Find Next" - } - new_button{ - text = "Find Previous" - } - } - } - } - } -]] ----[[ content_pane = new_panel{ layout = new_mig_layout("debug","[][grow]","[][grow,top]") children = { @@ -274,20 +210,6 @@ --border = create_line_border(int_to_color(0)) children = { new_button{ - constraints = "pad 0 -6 0 -6" - text = "Find Next" - } - new_button{ - constraints = "pad 0 -18 0 -6, gap unrelated" - text = "Find Previous" - } - } - } - new_panel{ - constraints = "span" - layout = function(this) return new_box_layout(this,"x_axis") end - children = { - new_button{ text = "Find Next" } new_button{ @@ -297,7 +219,6 @@ } } } ---]] } dialog.pack() local was_shown = false @@ -343,6 +264,7 @@ local frame = new_frame{ content_pane = new_scroll_pane{ view = text_area + border = no_border row_header_view = new_text_area_line_numbers{ text_area = text_area foreground_color = int_to_color(0x888888)