diff options
| author | Dani Megert | 2005-09-20 16:44:59 +0000 |
|---|---|---|
| committer | Dani Megert | 2005-09-20 16:44:59 +0000 |
| commit | 77d13068054c00d1dfc27f8c47f8af7576a241e7 (patch) | |
| tree | 0b09cc133edb47a975ea2df2669e2c6592b3cd25 /org.eclipse.text | |
| parent | 8142bdc7dbd86b4684d2ff2ee3e1ad9af67012ae (diff) | |
| download | eclipse.platform.text-77d13068054c00d1dfc27f8c47f8af7576a241e7.tar.gz eclipse.platform.text-77d13068054c00d1dfc27f8c47f8af7576a241e7.tar.xz eclipse.platform.text-77d13068054c00d1dfc27f8c47f8af7576a241e7.zip | |
Fixed bug 109104: Editor save does not write to disk (intermittent)
Diffstat (limited to 'org.eclipse.text')
| -rw-r--r-- | org.eclipse.text/src/org/eclipse/jface/text/AbstractDocument.java | 13 |
1 files changed, 10 insertions, 3 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 48b2bba91e5..101f5a1b9f3 100644 --- a/org.eclipse.text/src/org/eclipse/jface/text/AbstractDocument.java +++ b/org.eclipse.text/src/org/eclipse/jface/text/AbstractDocument.java @@ -156,6 +156,11 @@ public abstract class AbstractDocument implements IDocument, IDocumentExtension, */ private long fModificationStamp= IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP; /** + * The current modification stamp. + * @since 3.1.1 + */ + private long fNextModificationStamp= IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP; + /** * This document's default line delimiter. * @since 3.1 */ @@ -1070,10 +1075,12 @@ public abstract class AbstractDocument implements IDocument, IDocumentExtension, } private long getNextModificationStamp() { - if (fModificationStamp == Long.MAX_VALUE || fModificationStamp == IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP) - return 0; + if (fNextModificationStamp == Long.MAX_VALUE || fNextModificationStamp == IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP) + fNextModificationStamp= 0; + else + fNextModificationStamp= fNextModificationStamp + 1; - return fModificationStamp + 1; + return fNextModificationStamp; } /* |