Mercurial Hosting > editor
changeset 13:2baecd73d6bb
line numbers
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Sat, 05 Apr 2025 08:21:52 -0600 |
| parents | 27f2e1aaf8ff |
| children | 357fdbf446cb |
| files | .hgignore dev.sh editor.luan |
| diffstat | 3 files changed, 8 insertions(+), 8 deletions(-) [+] |
line wrap: on
line diff
diff -r 27f2e1aaf8ff -r 2baecd73d6bb .hgignore --- a/.hgignore Thu Apr 03 16:18:07 2025 -0600 +++ b/.hgignore Sat Apr 05 08:21:52 2025 -0600 @@ -1,3 +1,4 @@ syntax: glob mine/ +err
diff -r 27f2e1aaf8ff -r 2baecd73d6bb dev.sh --- a/dev.sh Thu Apr 03 16:18:07 2025 -0600 +++ b/dev.sh Sat Apr 05 08:21:52 2025 -0600 @@ -1,1 +1,1 @@ -java -Xdock:name="Luan Editor" -classpath $CLASSPATH luan.Luan editor.luan "$@" 2> >(grep -v 'openAndSavePanelService' >&2) +java -Xdock:name="Luan Editor" -classpath $CLASSPATH luan.Luan editor.luan "$@" 2> >(grep --line-buffered -v 'openAndSavePanelService' >&2) 2>&1 | tee err
diff -r 27f2e1aaf8ff -r 2baecd73d6bb editor.luan --- a/editor.luan Thu Apr 03 16:18:07 2025 -0600 +++ b/editor.luan Sat Apr 05 08:21:52 2025 -0600 @@ -11,14 +11,13 @@ 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 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_text_area_line_numbers = require("luan:swing/TextAreaLineNumbers.luan").new 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() local new_check_box_menu_item = require("luan:swing/Check_box_menu_item.luan").new or error() local int_to_color = require("luan:swing/Color.luan").int_to_color or error() +local create_empty_border = require("luan:swing/Border.luan").create_empty_border or error() local Logging = require "luan:logging/Logging.luan" local logger = Logging.logger "editor" @@ -186,10 +185,10 @@ text_area.caret_position = 0 --print(text_area.line_count) local scroll_pane = new_scroll_pane(text_area) - local list = new_text_area_line_numbers(text_area) - list.foreground_color = int_to_color(0x888888) - --print(list.size) - scroll_pane.set_row_header_view(list) + local line_numbers = new_text_area_line_numbers(text_area) + line_numbers.foreground_color = int_to_color(0x888888) + line_numbers.border = create_empty_border(0,8,0,8) + scroll_pane.set_row_header_view(line_numbers) frame.add(scroll_pane) function window.open() local file_chooser = frame.file_chooser_load()