File bsh-getpeer.patch of Package bsh
--- BeanShell/src/bsh/util/AWTConsole.java 2017-09-20 10:16:47.930104401 +0200
+++ BeanShell/src/bsh/util/AWTConsole.java 2017-09-20 10:23:56.354331886 +0200
@@ -220,8 +220,11 @@
Great. What a piece of crap.
*/
public void setCaretPosition( int pos ) {
- ((java.awt.peer.TextComponentPeer)getPeer()).setCaretPosition(
+ try {
+ ((java.awt.peer.TextComponentPeer)getClass().getMethod("getPeer").invoke(this, null)).setCaretPosition(
pos + countNLs() );
+ } catch (Exception e) {
+ }
}
/*