@Override
public void run() {
if (myTreeView != null && myCommandsProcessedCount < myLog.size()) {
if (!myIsOutputPaused) {
new OutputFlusher().doFlush();
myTreeView.scrollToLastMessage();
}
}
}
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();
}
}