view src/luan/modules/swing/Text_area_line_numbers.luan @ 1939:60e1df60503c default tip

swing
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 17 May 2025 22:20:10 -0600
parents d1708f8d4923
children
line wrap: on
line source

local Luan = require "luan:Luan.luan"
local error = Luan.error
local set_metatable = Luan.set_metatable or error()
local Utils = require "luan:swing/Utils.luan"
local make_metatable = Utils.make_metatable or error()
local delete = Utils.delete or error()
local check_empty = Utils.check_empty or error()
local Component = require "luan:swing/Component.luan"
local super_construct = Component.construct or error()
require "java"
local TextAreaLineNumbersLuan = require "java:luan.modules.swing.TextAreaLineNumbersLuan"


local Text_area_line_numbers = {}

local mt = make_metatable(Component)

function Text_area_line_numbers.new(props)
	local text_area = delete(props,"text_area") or error "text_area property requied"
	local jtaln = TextAreaLineNumbersLuan.new(text_area.java)
	local taln = { java = jtaln }
	super_construct(taln,props)
	check_empty(props)
	set_metatable(taln,mt)
	return taln
end

return Text_area_line_numbers