Mercurial Hosting > editor

comparison editor.luan @ 12:27f2e1aaf8ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 03 Apr 2025 16:18:07 -0600
parents 538cb5ad031c
children 2baecd73d6bb
comparison
equal deleted inserted replaced
11:538cb5ad031c 12:27f2e1aaf8ff
16 local new_text_area_line_numbers = List.new_text_area_line_numbers or error() 16 local new_text_area_line_numbers = List.new_text_area_line_numbers or error()
17 local new_menu_bar = require("luan:swing/Menu_bar.luan").new or error() 17 local new_menu_bar = require("luan:swing/Menu_bar.luan").new or error()
18 local new_menu = require("luan:swing/Menu.luan").new or error() 18 local new_menu = require("luan:swing/Menu.luan").new or error()
19 local new_menu_item = require("luan:swing/Menu_item.luan").new or error() 19 local new_menu_item = require("luan:swing/Menu_item.luan").new or error()
20 local new_check_box_menu_item = require("luan:swing/Check_box_menu_item.luan").new or error() 20 local new_check_box_menu_item = require("luan:swing/Check_box_menu_item.luan").new or error()
21 local int_to_color = require("luan:swing/Color.luan").int_to_color or error()
21 local Logging = require "luan:logging/Logging.luan" 22 local Logging = require "luan:logging/Logging.luan"
22 local logger = Logging.logger "editor" 23 local logger = Logging.logger "editor"
23 24
24 25
25 local new_window 26 local new_window
184 text_area.set_font{ family="Monospaced", size=13 } 185 text_area.set_font{ family="Monospaced", size=13 }
185 text_area.caret_position = 0 186 text_area.caret_position = 0
186 --print(text_area.line_count) 187 --print(text_area.line_count)
187 local scroll_pane = new_scroll_pane(text_area) 188 local scroll_pane = new_scroll_pane(text_area)
188 local list = new_text_area_line_numbers(text_area) 189 local list = new_text_area_line_numbers(text_area)
190 list.foreground_color = int_to_color(0x888888)
189 --print(list.size) 191 --print(list.size)
190 scroll_pane.set_row_header_view(list) 192 scroll_pane.set_row_header_view(list)
191 frame.add(scroll_pane) 193 frame.add(scroll_pane)
192 function window.open() 194 function window.open()
193 local file_chooser = frame.file_chooser_load() 195 local file_chooser = frame.file_chooser_load()