Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--org.eclipse.text/src/org/eclipse/text/undo/DocumentUndoManager.java8
1 files changed, 4 insertions, 4 deletions
diff --git a/org.eclipse.text/src/org/eclipse/text/undo/DocumentUndoManager.java b/org.eclipse.text/src/org/eclipse/text/undo/DocumentUndoManager.java
index b28b7d1bc..6f36f682d 100644
--- a/org.eclipse.text/src/org/eclipse/text/undo/DocumentUndoManager.java
+++ b/org.eclipse.text/src/org/eclipse/text/undo/DocumentUndoManager.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2006, 2008 IBM Corporation and others.
+ * Copyright (c) 2006, 2009 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -162,7 +162,7 @@ public class DocumentUndoManager implements IDocumentUndoManager {
// Normal case: an undo is valid if its redo will restore
// document to its current modification stamp
boolean canUndo= docStamp == IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP
- || docStamp == getRedoModificationStamp();
+ || docStamp >= getRedoModificationStamp();
/*
* Special case to check if the answer is false. If the last
@@ -1028,8 +1028,8 @@ public class DocumentUndoManager implements IDocumentUndoManager {
private void processChange(int modelStart, int modelEnd,
String insertedText, String replacedText,
- long beforeChangeModificationStamp,
- long afterChangeModificationStamp) {
+ final long beforeChangeModificationStamp,
+ final long afterChangeModificationStamp) {
if (insertedText == null)
insertedText= ""; //$NON-NLS-1$

Back to the top