changeset 1977:f827708b1805 default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 25 Jun 2025 18:31:08 -0600
parents 64c8ba65345f
children
files src/luan/modules/swing/TextAreaLuan.java
diffstat 1 files changed, 15 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
diff -r 64c8ba65345f -r f827708b1805 src/luan/modules/swing/TextAreaLuan.java
--- a/src/luan/modules/swing/TextAreaLuan.java	Mon Jun 23 04:14:44 2025 -0600
+++ b/src/luan/modules/swing/TextAreaLuan.java	Wed Jun 25 18:31:08 2025 -0600
@@ -29,6 +29,8 @@
 import javax.swing.text.Position;
 import javax.swing.text.DefaultHighlighter;
 import javax.swing.event.DocumentEvent;
+import javax.swing.plaf.TextUI;
+import com.formdev.flatlaf.ui.FlatTextAreaUI;
 import goodjava.logging.Logger;
 import goodjava.logging.LoggerFactory;
 
@@ -189,6 +191,15 @@
 		}
 	};
 
+	private class MyUI extends FlatTextAreaUI {
+		@Override public View create(Element elem) {
+			if( getLineWrap() )
+				return new CustomWrappedPlainView( elem, getWrapStyleWord() );
+			return super.create(elem);
+		}
+	}
+
+
 
 	private boolean showWhitespace = false;
 	private List<Range> highlights = Collections.emptyList();
@@ -217,17 +228,10 @@
 		super.processMouseEvent(event);
 	}
 
-	@Override public void updateUI() {
-		super.updateUI();
-		if (UIManager.getLookAndFeel().getName().startsWith("FlatLaf")) {
-			setUI(new com.formdev.flatlaf.ui.FlatTextAreaUI() {
-				@Override public View create(Element elem) {
-					if( getLineWrap() )
-						return new CustomWrappedPlainView( elem, getWrapStyleWord() );
-					return super.create(elem);
-				}
-			});
-		}
+	@Override public void setUI(TextUI ui) {
+		if( ui.getClass().equals(FlatTextAreaUI.class) )
+			ui = new MyUI();
+		super.setUI(ui);
 	}
 
 	@Override public int getRowHeight() {