| --- build.xml |
| +++ build.xml |
| @@ -176,7 +176,6 @@ |
| deprecation="${deprecation}" |
| optimize="on" |
| debug="on" |
| - target="1.5" |
| includes="**/*.java" |
| excludes="${excludes},**/bak/**" |
| > |
| --- src/bsh/util/AWTConsole.java |
| +++ src/bsh/util/AWTConsole.java |
| @@ -214,8 +214,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) { |
| + } |
| } |
| |
| /* |