X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FAWTConsole.java;h=6fa7c5c7f6bd606388994e3cd7353e1d08dc1783;hb=refs%2Fheads%2Ffeature%2FJAL-4274_configurable_bitmap_export_preferences;hp=9286794f0c9df36634ca7ae6f84f52fdf465d5d7;hpb=aac9e5a2d05c6947c237f84a3a4b9dcdf956ceec;p=jalview.git diff --git a/src/jalview/util/AWTConsole.java b/src/jalview/util/AWTConsole.java index 9286794..6fa7c5c 100644 --- a/src/jalview/util/AWTConsole.java +++ b/src/jalview/util/AWTConsole.java @@ -48,6 +48,9 @@ import java.io.PipedInputStream; import java.io.PipedOutputStream; import java.io.PrintStream; +import jalview.bin.Jalview; +import jalview.bin.Jalview.ExitCode; + public class AWTConsole extends WindowAdapter implements WindowListener, ActionListener, Runnable { @@ -136,20 +139,20 @@ public class AWTConsole extends WindowAdapter // testing part // you may omit this part for your application // - System.out.println("Hello World 2"); - System.out.println("All fonts available to Graphic2D:\n"); + jalview.bin.Console.outPrintln("Hello World 2"); + jalview.bin.Console.outPrintln("All fonts available to Graphic2D:\n"); GraphicsEnvironment ge = GraphicsEnvironment .getLocalGraphicsEnvironment(); String[] fontNames = ge.getAvailableFontFamilyNames(); for (int n = 0; n < fontNames.length; n++) { - System.out.println(fontNames[n]); + jalview.bin.Console.outPrintln(fontNames[n]); } // Testing part: simple an error thrown anywhere in this JVM will be printed // on the Console // We do it with a seperate Thread becasue we don't wan't to break a Thread // used by the Console. - System.out.println("\nLets throw an error on this console"); + jalview.bin.Console.outPrintln("\nLets throw an error on this console"); errorThrower = new Thread(this); errorThrower.setDaemon(true); errorThrower.start(); @@ -174,7 +177,7 @@ public class AWTConsole extends WindowAdapter } catch (Exception e) { } - System.exit(0); + Jalview.exit("Window closing. Bye!", ExitCode.OK); } @Override