X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FAWTConsole.java;h=751f9402d118505f572f22c03641db7e600bba69;hb=4a3def9f59cefe629c9a33d87483283aee085928;hp=6698414784ce7b26ae0eea85d3551ce16d6f41a2;hpb=f4766a7bbcfae845fc95923b01fa14ff83d589ff;p=jalview.git diff --git a/src/jalview/util/AWTConsole.java b/src/jalview/util/AWTConsole.java index 6698414..751f940 100644 --- a/src/jalview/util/AWTConsole.java +++ b/src/jalview/util/AWTConsole.java @@ -72,10 +72,10 @@ public class AWTConsole extends WindowAdapter // create all components and add them frame = new Frame("Java Console"); Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); - Dimension frameSize = new Dimension((int) (screenSize.width / 2), - (int) (screenSize.height / 2)); - int x = (int) (frameSize.width / 2); - int y = (int) (frameSize.height / 2); + Dimension frameSize = new Dimension(screenSize.width / 2, + screenSize.height / 2); + int x = frameSize.width / 2; + int y = frameSize.height / 2; frame.setBounds(x, y, frameSize.width, frameSize.height); textArea = new TextArea(); @@ -125,11 +125,11 @@ public class AWTConsole extends WindowAdapter // Starting two seperate threads to read from the PipedInputStreams // - reader = new Thread(this); + reader = new Thread(this, "AWTConsoleReader1"); reader.setDaemon(true); reader.start(); // - reader2 = new Thread(this); + reader2 = new Thread(this, "AWTConsoleReader2"); reader2.setDaemon(true); reader2.start(); @@ -142,17 +142,20 @@ public class AWTConsole extends WindowAdapter .getLocalGraphicsEnvironment(); String[] fontNames = ge.getAvailableFontFamilyNames(); for (int n = 0; n < fontNames.length; n++) + { System.out.println(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"); - errorThrower = new Thread(this); + errorThrower = new Thread(this, "AWTConsoleErrorLog"); errorThrower.setDaemon(true); errorThrower.start(); } + @Override public synchronized void windowClosed(WindowEvent evt) { quit = true; @@ -174,17 +177,20 @@ public class AWTConsole extends WindowAdapter System.exit(0); } + @Override public synchronized void windowClosing(WindowEvent evt) { frame.setVisible(false); // default behaviour of JFrame frame.dispose(); } + @Override public synchronized void actionPerformed(ActionEvent evt) { textArea.setText(""); } + @Override public synchronized void run() { try @@ -203,7 +209,9 @@ public class AWTConsole extends WindowAdapter textArea.append(input); } if (quit) + { return; + } } while (Thread.currentThread() == reader2) @@ -220,7 +228,9 @@ public class AWTConsole extends WindowAdapter textArea.append(input); } if (quit) + { return; + } } } catch (Exception e) { @@ -251,7 +261,9 @@ public class AWTConsole extends WindowAdapter { int available = in.available(); if (available == 0) + { break; + } byte b[] = new byte[available]; in.read(b); input = input + new String(b, 0, b.length); @@ -259,6 +271,11 @@ public class AWTConsole extends WindowAdapter return input; } + /** + * + * @param arg + * @j2sIgnore + */ public static void main(String[] arg) { new AWTConsole(); // create console with not reference