|
 |
cf5cfa8 |
--- beanshell-2.0b6/src/bsh/util/AWTConsole.java~ 2016-02-05 18:16:07.000000000 +0100
|
|
|
cf5cfa8 |
+++ beanshell-2.0b6/src/bsh/util/AWTConsole.java 2019-10-28 14:07:07.370526037 +0100
|
|
|
cf5cfa8 |
@@ -212,7 +212,7 @@
|
|
|
cf5cfa8 |
We have to get to the peer because TextComponent will refuse to
|
|
|
cf5cfa8 |
let us set us set a caret position greater than the text length.
|
|
|
cf5cfa8 |
Great. What a piece of crap.
|
|
|
cf5cfa8 |
- */
|
|
|
cf5cfa8 |
+ //
|
|
|
cf5cfa8 |
public void setCaretPosition( int pos ) {
|
|
|
cf5cfa8 |
((java.awt.peer.TextComponentPeer)getPeer()).setCaretPosition(
|
|
|
cf5cfa8 |
pos + countNLs() );
|