private void addHTML(String html) {
synchronized (kit) {
try {
kit.insertHTML(doc, doc.getLength(), html, 0, 0, null);
} catch (BadLocationException | IOException ignored) {
Logger.logError(ignored.getMessage(), ignored);
}
displayArea.setCaretPosition(displayArea.getDocument().getLength());
}
}
