From 2523c4955b68081876d079c0918c781fd89af564 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Fri, 23 Nov 2012 13:41:07 +0100
Subject: [PATCH] buffer: increment timestamp on notify saved

---
 src/buffer.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/buffer.cc b/src/buffer.cc
index b8de1e37..ac0b8fce 100644
--- a/src/buffer.cc
+++ b/src/buffer.cc
@@ -392,7 +392,11 @@ bool Buffer::is_modified() const
 void Buffer::notify_saved()
 {
     size_t history_cursor_index = m_history_cursor - m_history.begin();
-    m_last_save_undo_index = history_cursor_index;
+    if (m_last_save_undo_index != history_cursor_index)
+    {
+        ++m_timestamp;
+        m_last_save_undo_index = history_cursor_index;
+    }
 }
 
 void Buffer::add_change_listener(BufferChangeListener& listener) const