public void emptyAll() {
myLog.clear();
myCommandsProcessedCount = 0;
myErrorCount = 0;
myWarningCount = 0;
myPlainTextView.clearAllMessages();
myTreeView.clearAllMessages();
}
private synchronized void changeDetalizationLevel(int priorityThreshold) {
myPriorityThreshold = priorityThreshold;
TreeView.TreeSelection selection = myTreeView.getSelection();
myTreeView.clearAllMessages();
myPlainTextView.clearAllMessages();
myTreeView.setActionsEnabled(false);
new OutputFlusher() {
public void doFlush() {
final int processedCount = myCommandsProcessedCount;
for (int i = 0; i < processedCount; i++) {
LogCommand command = myLog.get(i);
proceedOneCommand(command);
}
flushDelayedMessages();
}
}.doFlush();
myTreeView.setActionsEnabled(true);
if (!myTreeView.restoreSelection(selection)) {
myTreeView.scrollToLastMessage();
}
}