25262728293031323334
public void flush() { } public synchronized void publish(LogRecord record) { try { SyntaxDocument document = textArea.getDocument(); document.insertString(document.getLength(), formatter.format(record), null); } catch (BadLocationException e) { } }