Fix bug #7071 in cutSelection:

[features.git] / src / CutAndPaste.cpp

diff --git a/src/CutAndPaste.cpp b/src/CutAndPaste.cpp
index 9bed935d38eff7ec348cbb6ae179293b26bad45e..d4cf25ba1ff381cb6f1ae01646c0000289e9c83a 100644 (file)
--- a/src/CutAndPaste.cpp
+++ b/src/CutAndPaste.cpp
@@ -784,7 +784,10 @@ void cutSelection(Cursor & cur, bool doclear, bool realcut)
 
                // need a valid cursor. (Lgb)
                cur.clearSelection();
-               cur.forceBufferUpdate();
+               // After a cut operation, we need to make sure that the Buffer is updated
+               // because some further operation will need updated label information for
+               // example. So we cannot just use "cur.forceBufferUpdate()" here.
+               cur.buffer()->updateBuffer();
 
                // tell tabular that a recent copy happened
                dirtyTabularStack(false);