Buffer: close undo group when saved

2012-12-19 18:56:20 +01:00 · 2012-12-19 18:56:20 +01:00 · 6c901e9152
commit 6c901e9152
parent 63d30a30d5
1 changed files with 6 additions and 0 deletions
--- a/src/buffer.cc
+++ b/src/buffer.cc
@ -399,6 +399,12 @@ bool Buffer::is_modified() const

 void Buffer::notify_saved()
 {
+    if (not m_current_undo_group.empty())
+    {
+        end_undo_group();
+        begin_undo_group();
+    }
+
    size_t history_cursor_index = m_history_cursor - m_history.begin();
    if (m_last_save_undo_index != history_cursor_index)
    {