53fc42e4be
Change-Id: I031580c6edd0d80727d940b4fd300308a905a383
25 lines
622 B
Text
25 lines
622 B
Text
--- 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) {
|
|
+ }
|
|
}
|
|
|
|
/*
|