Fix bug 3124: always update the Labels after an undo or redo operation.

 http://bugzilla.lyx.org/show_bug.cgi?id=3124

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@16971 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/undo.C b/src/undo.C
index 93d5ea5f63ff28e739d338dc52a7ebe0dc340a1c..33b97827325f006009e10dbcc3ef59165aa0c583 100644 (file)
--- a/src/undo.C
+++ b/src/undo.C
@@ -17,6 +17,7 @@
 #include "undo.h"
 
 #include "buffer.h"
+#include "buffer_funcs.h"
 #include "cursor.h"
 #include "debug.h"
 #include "BufferView.h"
@@ -195,6 +196,7 @@ bool textUndoOrRedo(BufferView & bv,
                for (; pit != end; ++pit)
                        pit->setInsetOwner(dit.realInset());
                plist.insert(first, undo.pars.begin(), undo.pars.end());
+               updateLabels(*buf);
        }
 
        // Set cursor