System.err
.println("Jalview Javascript exec error: Couldn't send selection message using function '"
+ _listener + "'");
- ex.printStackTrace();
+ if (ex instanceof netscape.javascript.JSException)
+ {
+ System.err.println("Javascript Exception: "+((netscape.javascript.JSException)ex).getMessage());
+ }
+ else {
+ ex.printStackTrace();
+ };
}
}