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!