Function UndoBuffer.redo

returns operation to be redone (put it to undo), null if no undo ops available

EditOperation redo();