/*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2)
- * Copyright (C) 2014 The Jalview Authors
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
*
* This file is part of Jalview.
*
//
// RJHM van den Bergh , rvdb@comweb.nl
-import java.io.*;
-import java.awt.*;
-import java.awt.event.*;
+import java.awt.BorderLayout;
+import java.awt.Button;
+import java.awt.Dimension;
+import java.awt.Frame;
+import java.awt.GraphicsEnvironment;
+import java.awt.Panel;
+import java.awt.TextArea;
+import java.awt.Toolkit;
+import java.awt.event.ActionEvent;
+import java.awt.event.ActionListener;
+import java.awt.event.WindowAdapter;
+import java.awt.event.WindowEvent;
+import java.awt.event.WindowListener;
+import java.io.IOException;
+import java.io.PipedInputStream;
+import java.io.PipedOutputStream;
+import java.io.PrintStream;
-public class AWTConsole extends WindowAdapter implements WindowListener,
- ActionListener, Runnable
+public class AWTConsole extends WindowAdapter
+ implements WindowListener, ActionListener, Runnable
{
private Frame frame;
// 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();
.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
errorThrower.start();
}
+ @Override
public synchronized void windowClosed(WindowEvent evt)
{
quit = true;
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
textArea.append(input);
}
if (quit)
+ {
return;
+ }
}
while (Thread.currentThread() == reader2)
textArea.append(input);
}
if (quit)
+ {
return;
+ }
}
} catch (Exception e)
{
} catch (InterruptedException ie)
{
}
- throw new NullPointerException(MessageManager.getString("exception.application_test_npe"));
+ throw new NullPointerException(
+ MessageManager.getString("exception.application_test_npe"));
}
}
{
int available = in.available();
if (available == 0)
+ {
break;
+ }
byte b[] = new byte[available];
in.read(b);
input = input + new String(b, 0, b.length);
return input;
}
+ /**
+ *
+ * @param arg
+ * @j2sIgnore
+ */
public static void main(String[] arg)
{
new AWTConsole(); // create console with not reference