case DBRecorder.STATUS_BREAK: status = "Break on "+DBEvent.getEventName(debuggerTab.getRecorder().getStoppedOnEvent()); break;
}
info.append(status);
DBPlayerContextInfo context = debuggerTab.getPlayer().getContextInfo();
if(context.isBacktracking()) {
info.append(" (backtrack ");
info.append(context.getBacktrack());
info.append(")");
}
infoLabel.setText(info.toString());
updateInterface();