changeset 1964:593ebfad2ef4 default tip

fix undo
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 06 Jun 2025 19:19:36 -0600
parents c4844055caa6
children
files src/luan/modules/swing/TextAreaLuan.java src/luan/modules/swing/TextFieldLuan.java
diffstat 2 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/src/luan/modules/swing/TextAreaLuan.java	Fri Jun 06 13:14:33 2025 -0600
+++ b/src/luan/modules/swing/TextAreaLuan.java	Fri Jun 06 19:19:36 2025 -0600
@@ -240,11 +240,11 @@
 		return (UndoManagerLuan)getDocument().getProperty("undo");
 	}
 
-	@Override public void paste() {
+	@Override public void replaceSelection(String content) {
 		UndoManagerLuan undo = getUndoManagerLuan();
 		undo.beginTransaction();
 		try {
-			super.paste();
+			super.replaceSelection(content);
 		} finally {
 			undo.endTransaction();
 		}
--- a/src/luan/modules/swing/TextFieldLuan.java	Fri Jun 06 13:14:33 2025 -0600
+++ b/src/luan/modules/swing/TextFieldLuan.java	Fri Jun 06 19:19:36 2025 -0600
@@ -62,11 +62,11 @@
 		return (UndoManagerLuan)getDocument().getProperty("undo");
 	}
 
-	@Override public void paste() {
+	@Override public void replaceSelection(String content) {
 		UndoManagerLuan undo = getUndoManagerLuan();
 		undo.beginTransaction();
 		try {
-			super.paste();
+			super.replaceSelection(content);
 		} finally {
 			undo.endTransaction();
 		}