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)