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)