Buffer: add a timestamp

1 files changed, 3 insertions, 0 deletions

diff --git a/src/buffer.hh b/src/buffer.hh
index cc20a607..b048dbe5 100644
--- a/src/buffer.hh
+++ b/src/buffer.hh
@@ -114,6 +114,8 @@ public:
     void insert(BufferIterator pos, const String& content);
     void erase(BufferIterator begin, BufferIterator end);
 
+    size_t         timestamp() const { return m_timestamp; }
+
     void           begin_undo_group();
     void           end_undo_group();
     bool           undo();
@@ -201,6 +203,7 @@ private:
     std::list<std::unique_ptr<Window>> m_windows;
 
     size_t m_last_save_undo_index;
+    size_t m_timestamp;
 
     std::vector<BufferChangeListener*> m_change_listeners;