diff options
Diffstat (limited to 'external/beanshell/java9.patch.0')
| -rw-r--r-- | external/beanshell/java9.patch.0 | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/external/beanshell/java9.patch.0 b/external/beanshell/java9.patch.0 new file mode 100644 index 0000000000..824e54286e --- /dev/null +++ b/external/beanshell/java9.patch.0 @@ -0,0 +1,25 @@ +--- 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) { ++ } + } + + /* |