private synchronized void refreshLogs() {
doc = new HTMLDocument();
displayArea.setDocument(doc);
List<LogEntry> entries = Logger.getLogEntries();
StringBuilder logHTML = new StringBuilder();
for (LogEntry entry : entries) {
logHTML.append(getMessage(entry));
}
addHTML(logHTML.toString());
}
