diff options
author | Dani Megert | 2006-04-24 15:14:32 +0000 |
---|---|---|
committer | Dani Megert | 2006-04-24 15:14:32 +0000 |
commit | 38774e063bb8152143cc20c76eb57d26e913ee53 (patch) | |
tree | 06aec93610eb93dc172e42b7bdd920a1f38d9d9a | |
parent | e5e9c2887fc239c0c418437f613016ac41693a16 (diff) | |
download | eclipse.platform.text-38774e063bb8152143cc20c76eb57d26e913ee53.tar.gz eclipse.platform.text-38774e063bb8152143cc20c76eb57d26e913ee53.tar.xz eclipse.platform.text-38774e063bb8152143cc20c76eb57d26e913ee53.zip |
Don't increase mod stamp if there's no change
-rw-r--r-- | org.eclipse.text/src/org/eclipse/jface/text/AbstractDocument.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/org.eclipse.text/src/org/eclipse/jface/text/AbstractDocument.java b/org.eclipse.text/src/org/eclipse/jface/text/AbstractDocument.java index c8884c298a4..8502d3d6756 100644 --- a/org.eclipse.text/src/org/eclipse/jface/text/AbstractDocument.java +++ b/org.eclipse.text/src/org/eclipse/jface/text/AbstractDocument.java @@ -1084,7 +1084,10 @@ public abstract class AbstractDocument implements IDocument, IDocumentExtension, * @see org.eclipse.jface.text.IDocument#replace(int, int, java.lang.String) */ public void replace(int pos, int length, String text) throws BadLocationException { - replace(pos, length, text, getNextModificationStamp()); + if (length == 0 && (text == null || text.length() == 0)) + replace(pos, length, text, getModificationStamp()); + else + replace(pos, length, text, getNextModificationStamp()); } /* |