diff --git a/src/CutAndPaste.cpp b/src/CutAndPaste.cpp index 5dd1a55285..ecb4cbcafb 100644 --- a/src/CutAndPaste.cpp +++ b/src/CutAndPaste.cpp @@ -742,6 +742,9 @@ void copySelectionToStack(Cursor const & cur, CutStack & cutstack) copySelectionHelper(*cur.buffer(), pars, par, cur.selEnd().pit(), pos, cur.selEnd().pos(), cur.buffer()->params().documentClassPtr(), cutstack); + + // Reset the dirty_tabular_stack_ flag only when something + // is copied to the clipboard (not to the selectionBuffer). if (&cutstack == &theCuts) dirtyTabularStack(false); }