commit 73460423ad684b8728fe7bdf51f27dbc5cae5ea9
Author: Scott Kostyshak <[email protected]>
Date:   Sun Apr 19 13:46:04 2015 -0400

    Update previews after pasting (#6211)
    
    The reason we want to do this is for if there is pasting across buffers.
    For within buffer, the previews should already be updated. Calling the
    buffer-wide updatePreviews() might seem like overkill, but actually it
    should be quick because only the previews that need updating are updated
    (and this check feels quick to me, although I did not profile).
    
    If we were to loop through the pasted text and update each preview
    individually, this might take more time. When updating previews
    together, only one .tex file is compiled.

diff --git a/src/Text3.cpp b/src/Text3.cpp
index 8398dd7..4bd45c4 100644
--- a/src/Text3.cpp
+++ b/src/Text3.cpp
@@ -1312,6 +1312,7 @@ void Text::dispatch(Cursor & cur, FuncRequest & cmd)
                bv->buffer().errors("Paste");
                cur.clearSelection(); // bug 393
                cur.finishUndo();
+               bv->buffer().updatePreviews();
                break;
        }
 

Reply via email to