399400401402403404405406407
if (handler != null) handler.flush(); } public static void setupConsole() { if (console == null) { console = new ConsoleFrame(2500, true); console.setVisible(true); } }