changeset 11:538cb5ad031c

start line numbers
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 03 Apr 2025 14:34:55 -0600
parents a83c8842ca3b
children 27f2e1aaf8ff
files editor.luan
diffstat 1 files changed, 8 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
--- a/editor.luan	Wed Apr 02 21:19:25 2025 -0600
+++ b/editor.luan	Thu Apr 03 14:34:55 2025 -0600
@@ -11,7 +11,9 @@
 local new_label = require("luan:swing/Label.luan").new or error()
 local new_text_area = require("luan:swing/Text_area.luan").new or error()
 local new_scroll_pane = require("luan:swing/Scroll_pane.luan").new or error()
-local new_list = require("luan:swing/List.luan").new or error()
+local List = require "luan:swing/List.luan"
+local new_default_list = List.new_default_list or error()
+local new_text_area_line_numbers = List.new_text_area_line_numbers or error()
 local new_menu_bar = require("luan:swing/Menu_bar.luan").new or error()
 local new_menu = require("luan:swing/Menu.luan").new or error()
 local new_menu_item = require("luan:swing/Menu_item.luan").new or error()
@@ -85,7 +87,7 @@
 			undo.set_enabled(document.can_undo())
 			redo.set_enabled(document.can_redo())
 		end
-		edit_menu.update_undo_redo = update_undo_redo  -- prevent gc
+		edit_menu.dont_gc(update_undo_redo)
 		update_undo_redo()
 		document.add_undo_listener(update_undo_redo)
 		edit_menu.add_separator()
@@ -172,7 +174,7 @@
 		frame.title = s
 	end
 	set_title()
-	text_area.set_title = set_title  -- no gc
+	text_area.dont_gc(set_title)
 	text_area.document.add_undo_listener(set_title)
 	text_area.rows = 10
 	text_area.columns = 20
@@ -183,11 +185,9 @@
 	text_area.caret_position = 0
 	--print(text_area.line_count)
 	local scroll_pane = new_scroll_pane(text_area)
-	local list = new_list()
-	list.add_element("1")
-	list.add_element("2")
-	list.add_element("3")
-	--scroll_pane.set_row_header_view(list)
+	local list = new_text_area_line_numbers(text_area)
+	--print(list.size)
+	scroll_pane.set_row_header_view(list)
 	frame.add(scroll_pane)
 	function window.open()
 		local file_chooser = frame.file_chooser_load()