protected void redo(SPath editor) {
Operation op = calcRedoOperation(editor);
for (TextEditActivity activity : op.toTextEdit(editor, sarosSession.getLocalUser())) {
log.debug("redone: " + activity + " in " + editor);
fireActivity(activity);
}
}
protected void undo(SPath editor) {
Operation op = calcUndoOperation(editor);
log.debug("calculated undo: " + op);
// don't waste the network
if (op instanceof NoOperation) {
log.debug("nothing to undo in " + editor);
return;
}
for (TextEditActivity activity : op.toTextEdit(editor, sarosSession.getLocalUser())) {
log.debug("undone: " + activity + " in " + editor);
fireActivity(activity);
}
}
