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
This commit is contained in:
Abdelrazak Younes 2007-01-31 14:36:15 +00:00
parent 0da3d53269
commit e215d6c8f6

View File

@ -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