Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
frame = initFrame("Java Console", screenSize.width / 2,
screenSize.height / 2, -1, -1);
+ frame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
initConsole(true);
}
{
if (jalview.bin.Console.log != null)
{
- jalview.bin.Console.log.setLevel((LogLevel) logLevelCombo.getSelectedItem());
+ jalview.bin.Console.log
+ .setLevel((LogLevel) logLevelCombo.getSelectedItem());
}
}
JalviewAppender jappender = new JalviewAppender(level);
JalviewAppender.setTextArea(textArea);
jappender.start();
- if (jalview.bin.Console.log != null && jalview.bin.Console.log instanceof JLoggerLog4j)
+ if (jalview.bin.Console.log != null
+ && jalview.bin.Console.log instanceof JLoggerLog4j)
{
JLoggerLog4j.addAppender(jalview.bin.Console.log, jappender);
}
{
}
}
+ /*
if (!frame.isVisible())
{
frame.dispose();
}
+ */
// System.exit(0);
}