Remove a finishUndo() after a recordUndo()

finishUndo() is only helpful in the presence of undos of type INSERT
or DELETE.

See the following ML thread for details:

  https://www.mail-archive.com/search?l=mid&q=b721c098-c7ee-d12f-1cdf-067dda9aa5cf%40lyx.org

diff --git a/src/Text3.cpp b/src/Text3.cpp
index 8643411da1cf0d695fc5c04fd478ccc84afb6cfc..f5444e7baa6b908ea9e14affd4b040388f827617 100644 (file)
--- a/src/Text3.cpp
+++ b/src/Text3.cpp
@@ -673,7 +673,6 @@ void Text::dispatch(Cursor & cur, FuncRequest & cmd)
        case LFUN_PARAGRAPH_MOVE_DOWN: {
                pit_type const pit = cur.pit();
                cur.recordUndo(pit, pit + 1);
-               cur.finishUndo();
                pars_.swap(pit, pit + 1);
                needsUpdate = true;
                cur.forceBufferUpdate();