commit 01fc62b78eb844d400803f0a489d5b326714708b
Author: Jean-Marc Lasgouttes <[email protected]>
Date:   Tue Jan 5 11:12:00 2016 +0100

    When moving cursor, always reset anchor
    
    This applies to BufferView::moveToPosition, which is used for bookmarks and 
initial cursor position (on loading).
    
    Fixes bug #9912.

diff --git a/src/BufferView.cpp b/src/BufferView.cpp
index 15dcb92..7332ec5 100644
--- a/src/BufferView.cpp
+++ b/src/BufferView.cpp
@@ -809,6 +809,8 @@ bool BufferView::moveToPosition(pit_type bottom_pit, 
pos_type bottom_pos,
                setCursor(dit);
                // set the current font.
                d->cursor_.setCurrentFont();
+               // Do not forget to reset the anchor (see #9912)
+               d->cursor_.resetAnchor();
                // To center the screen on this new position we need the
                // paragraph position which is computed at draw() time.
                // So we need a redraw!

Reply via email to