import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.JTextArea;
+import javax.swing.SwingUtilities;
import javax.swing.border.Border;
import javax.swing.text.DefaultCaret;
// 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();
try
{
this.wait(100);
- if (pin.available() == 0)
- {
- trimBuffer(false);
- }
+// if (pin.available() == 0)
+// {
+// trimBuffer(false);
+// }
} catch (InterruptedException ie)
{
}
// check string buffer - if greater than console, clear console and
// replace with last segment of content, otherwise, append all to
// content.
- long count;
while (displayPipe.length() > 0)
{
- count = 0;
StringBuffer tmp = new StringBuffer(), replace;
synchronized (displayPipe)
{
replace = displayPipe;
displayPipe = tmp;
}
- // simply append whole buffer
- textArea.append(replace.toString());
- count += replace.length();
- if (count > byteslim)
+ // Append formatted message to textarea using the Swing Thread.
+ SwingUtilities.invokeLater(new Runnable()
{
- trimBuffer(false);
- }
+ public void run()
+ {
+ textArea.append(replace.toString());
+ trimBuffer(false);
+ }
+ });
}
if (displayPipe.length() == 0)
{
this.wait(100);
if (displayPipe.length() == 0)
{
- trimBuffer(false);
+ // post a trim on Swing Thread.
+ SwingUtilities.invokeLater(new Runnable()
+ {
+ public void run()
+ {
+ trimBuffer(false);
+ }
+ });
}
} catch (InterruptedException e)
{
@Override
public void run()
{
- displayPipe.append(input); // change to stringBuffer
- // displayPipe.flush();
-
+ displayPipe.append(input);
}
});
// stderr.println("Time taken to Spawnappend:\t" + (System.nanoTime() -