Mercurial Hosting > editor
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()