From 9b83372c64f30f44bd56696ae6adcbe6a83e1e2f Mon Sep 17 00:00:00 2001 From: Fabio Valentini Date: Mon, 20 Jul 2020 21:28:13 +0200 Subject: [PATCH 1/1] java 11 compatibility --- src/bsh/util/AWTConsole.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/bsh/util/AWTConsole.java b/src/bsh/util/AWTConsole.java index e88fbff..fbb237b 100644 --- a/src/bsh/util/AWTConsole.java +++ b/src/bsh/util/AWTConsole.java @@ -214,8 +214,8 @@ public class AWTConsole extends TextArea Great. What a piece of crap. */ public void setCaretPosition( int pos ) { - ((java.awt.peer.TextComponentPeer)getPeer()).setCaretPosition( - pos + countNLs() ); + //((java.awt.peer.TextComponentPeer)getPeer()).setCaretPosition( + // pos + countNLs() ); } /* -- 2.26.2