Permalink
Browse files

Refresh editor once the undo has ben undone

  • Loading branch information...
1 parent 2b047a5 commit dfd25b9abd3cc3eb05f46c54070a35e6a3bed670 Arvid Berg committed Jun 30, 2010
@@ -315,8 +315,8 @@ private void addUndoRedoListener() {
public void historyNotification(OperationHistoryEvent event) {
int type = event.getEventType();
- if( type == OperationHistoryEvent.ABOUT_TO_REDO ||
- type == OperationHistoryEvent.ABOUT_TO_UNDO) {
+ if( type == OperationHistoryEvent.REDONE ||
+ type == OperationHistoryEvent.UNDONE) {
if(operationHistory.canUndo(undoContext)) {
setDirty(true);
}else setDirty(false);

0 comments on commit dfd25b9

Please sign in to comment.