commit 0e4442e928c79939cc82a7462eea1524b768967a
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 8331686..2e900e1 100644
--- a/src/BufferView.cpp
+++ b/src/BufferView.cpp
@@ -789,6 +789,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!
diff --git a/status.21x b/status.21x
index 221cdbf..155dfcb 100644
--- a/status.21x
+++ b/status.21x
@@ -90,6 +90,8 @@ What's new
- Fix crash when closing buffer one of whose children is also a child of
other master (bug 9907).
+- Fix assertion when selecting text just after loading document (bug 9912).
+
- Fix automatic insertion of longtable captions (bug 9692).
- Fix setting of nested minipage via the dialog (bug 8716).
