JAL-3253 code tidies and tweaks to Desktop

[jalview.git] / src / jalview / gui / Console.java

diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java
index 4c019a6..f44dae1 100644 (file)
--- a/src/jalview/gui/Console.java
+++ b/src/jalview/gui/Console.java
@@ -136,7 +136,7 @@ public class Console extends WindowAdapter
     }
     quit = false; // signals the Threads that they should exit
 
-    // Starting two seperate threads to read from the PipedInputStreams
+    // Starting two separate threads to read from the PipedInputStreams
     //
     reader = new Thread(this);
     reader.setDaemon(true);
@@ -313,7 +313,8 @@ public class Console extends WindowAdapter
     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
             } catch (InterruptedException e)
             {
             }
-            ;
           }
         }
         else
@@ -633,6 +633,10 @@ public class Console extends WindowAdapter
     return input;
   }
 
+  /**
+   * @j2sIgnore
+   * @param arg
+   */
   public static void main(String[] arg)
   {
     new Console().test(); // create console with not reference