Mercurial Hosting > luan
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() {