changeset 1906:adb77b95fa27

undo fix
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 15 Apr 2025 18:19:47 -0600
parents f7649b3ebd22
children cbd2f1b8ff2c
files src/luan/modules/swing/Text_component.luan
diffstat 1 files changed, 3 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/src/luan/modules/swing/Text_component.luan	Tue Apr 15 16:53:03 2025 -0600
+++ b/src/luan/modules/swing/Text_component.luan	Tue Apr 15 18:19:47 2025 -0600
@@ -27,9 +27,7 @@
 		return jcomponent.getText()
 	end
 	if key == "document" then
-		local document = new_document(jcomponent.getDocument())
-		raw_set(component,"document",document)
-		return document
+		return component._document
 	end
 	if key == "selected_text" then
 		return jcomponent.getSelectedText() or ""
@@ -47,7 +45,7 @@
 	end
 	if key == "document" then
 		jcomponent.setDocument(value.java)
-		raw_set(component,"document",value)
+		raw_set(component,"_document",value)
 		return
 	end
 	if key == "selected_text" then
@@ -71,6 +69,7 @@
 function Text_component.construct(component,props)
 	super_construct(component,props)
 	local jcomponent = component.java
+	component._document = new_document(jcomponent.getDocument())
 	fixTextComponent(jcomponent)
 	component.cut = jcomponent.cut
 	component.copy = jcomponent.copy
@@ -83,7 +82,6 @@
 		end_pos = end_pos or start_pos
 		jcomponent.select(start_pos-1,end_pos-1)
 	end
-	--logger.info(stringify{component.get_selection()})
 	return component
 end