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