Use the text editor revision to ignore outdated parse results.

This commit is contained in:
Roberto Raggi
2009-12-15 15:52:55 +01:00
parent aa8a670669
commit 51de95c497
9 changed files with 78 additions and 34 deletions

View File

@@ -60,6 +60,9 @@ public:
unsigned revision() const;
void setRevision(unsigned revision);
unsigned editorRevision() const;
void setEditorRevision(unsigned editorRevision);
QDateTime lastModified() const;
void setLastModified(const QDateTime &lastModified);
@@ -312,6 +315,7 @@ private:
QByteArray _source;
QDateTime _lastModified;
unsigned _revision;
unsigned _editorRevision;
friend class Snapshot;
};