Mercurial Hosting > editor
diff editor.luan @ 12:27f2e1aaf8ff
minor
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Thu, 03 Apr 2025 16:18:07 -0600 |
parents | 538cb5ad031c |
children | 2baecd73d6bb |
line wrap: on
line diff
--- a/editor.luan Thu Apr 03 14:34:55 2025 -0600 +++ b/editor.luan Thu Apr 03 16:18:07 2025 -0600 @@ -18,6 +18,7 @@ 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 Logging = require "luan:logging/Logging.luan" local logger = Logging.logger "editor" @@ -186,6 +187,7 @@ --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) frame.add(scroll_pane)