commit 8998b8837084a5100048fbd335c06ed6fc4bc26f
Author: Enrico Forestieri <[email protected]>
Date: Wed Jan 20 01:18:42 2016 +0100
Make sure cursor is in texted after clicking
Fixes #9936.
diff --git a/src/BufferView.cpp b/src/BufferView.cpp
index 6de832d..81ebe79 100644
--- a/src/BufferView.cpp
+++ b/src/BufferView.cpp
@@ -2514,7 +2514,8 @@ bool BufferView::mouseSetCursor(Cursor & cur, bool select)
bool update = leftinset;
if (!do_selection && d->cursor_.inTexted()) {
update |= checkDepm(cur, d->cursor_);
- if (cur.pos() && cur.paragraph().isEnvSeparator(cur.pos() - 1))
+ if (cur.inTexted() && cur.pos()
+ && cur.paragraph().isEnvSeparator(cur.pos() - 1))
cur.posBackward();
}