X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FConsole.java;h=3ff8c12825f2bee674ef242e07fd2b69f148b3bf;hb=08873667c3fbbf2b925c7b6ac12950f6da102e17;hp=de7574c67d9e84af0dbc2c7afff1a345dbbdb956;hpb=136c0793b90b72b928c4d77dc109dd5c644e00d3;p=jalview.git diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java index de7574c..3ff8c12 100644 --- a/src/jalview/gui/Console.java +++ b/src/jalview/gui/Console.java @@ -53,8 +53,8 @@ import org.apache.log4j.SimpleLayout; * own applications RJHM van den Bergh , rvdb@comweb.nl */ -public class Console extends WindowAdapter implements WindowListener, - ActionListener, Runnable +public class Console extends WindowAdapter + implements WindowListener, ActionListener, Runnable { private JFrame frame; @@ -305,15 +305,16 @@ public class Console extends WindowAdapter implements WindowListener, } else { - frame = initFrame("Jalview Java Console", bounds.width, - bounds.height, bounds.x, bounds.y); + frame = initFrame("Jalview Java Console", bounds.width, bounds.height, + bounds.x, bounds.y); } frame.setMinimumSize(new Dimension(MIN_WIDTH, MIN_HEIGHT)); // desktop.add(frame); initConsole(false); JalviewAppender jappender = new JalviewAppender(); jappender.setLayout(new SimpleLayout()); - JalviewAppender.setTextArea(textArea); + // BH 2019 JalviewAppender.setTextArea(textArea); + jappender.setTextArea(textArea); org.apache.log4j.Logger.getRootLogger().addAppender(jappender); } @@ -497,7 +498,6 @@ public class Console extends WindowAdapter implements WindowListener, } catch (InterruptedException e) { } - ; } } else @@ -522,8 +522,8 @@ public class Console extends WindowAdapter implements WindowListener, textArea.append("The error is: " + e.getMessage()); // Need to uncomment this to ensure that line tally is synched. // lines += 2; - stderr.println("Console reports an Internal error.\nThe error is: " - + e); + stderr.println( + "Console reports an Internal error.\nThe error is: " + e); } // just for testing (Throw a Nullpointer after 1 second) @@ -633,6 +633,10 @@ public class Console extends WindowAdapter implements WindowListener, return input; } + /** + * @j2sIgnore + * @param arg + */ public static void main(String[] arg) { new Console().test(); // create console with not reference