buffer: increment timestamp on notify saved

This commit is contained in:
Maxime Coste 2012-11-23 13:41:07 +01:00
parent d2f811a8d5
commit 2523c4955b

View File

@ -392,7 +392,11 @@ bool Buffer::is_modified() const
void Buffer::notify_saved() void Buffer::notify_saved()
{ {
size_t history_cursor_index = m_history_cursor - m_history.begin(); size_t history_cursor_index = m_history_cursor - m_history.begin();
if (m_last_save_undo_index != history_cursor_index)
{
++m_timestamp;
m_last_save_undo_index = history_cursor_index; m_last_save_undo_index = history_cursor_index;
}
} }
void Buffer::add_change_listener(BufferChangeListener& listener) const void Buffer::add_change_listener(BufferChangeListener& listener) const