X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FConsole.java;h=41da01fc2da4b49da87360308c47e4b6034ae3db;hb=0ebbad305e982eeda562a1842362dc415c36cc8d;hp=cb60a3f8cad3dd323f4becd062386c8edd759d71;hpb=86421995e1e02c7620bfe1661a6e19366068db18;p=jalview.git diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java index cb60a3f..41da01f 100644 --- a/src/jalview/gui/Console.java +++ b/src/jalview/gui/Console.java @@ -54,7 +54,6 @@ import javax.swing.SwingUtilities; import javax.swing.border.Border; import javax.swing.text.DefaultCaret; -import jalview.bin.Cache; import jalview.log.JLoggerI.LogLevel; import jalview.log.JLoggerLog4j; import jalview.log.JalviewAppender; @@ -218,7 +217,7 @@ public class Console extends WindowAdapter // logLevelCombo.addItem(LogLevel.ERROR); // logLevelCombo.addItem(LogLevel.OFF); // set startingLogLevel - + if (jalview.bin.Console.getLogger() == null) { startingLogLevel = jalview.bin.Console.getCachedLogLevel(); @@ -699,7 +698,7 @@ public class Console extends WindowAdapter textArea.append(replace.toString()); trimBuffer(false); } - }); + }); } if (displayPipe.length() == 0) { @@ -777,7 +776,7 @@ public class Console extends WindowAdapter @Override public void run() { - displayPipe.append(input); + displayPipe.append(input); } }); // stderr.println("Time taken to Spawnappend:\t" + (System.nanoTime() -