blob: 2dfd5074afdfd737f44a3c2ca27bf2b1abf35799 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
--- 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,6 @@
Great. What a piece of crap.
*/
public void setCaretPosition( int pos ) {
- ((java.awt.peer.TextComponentPeer)getPeer()).setCaretPosition(
- pos + countNLs() );
}
/*
|