commit bbb5a1a28f047e76611641efe999739d537b27f4
Author: Enrico Forestieri <[email protected]>
Date: Sun Jan 10 00:08:10 2016 +0100
Always place the cursor before a separator inset when moving up or down.
diff --git a/src/Cursor.cpp b/src/Cursor.cpp
index c1eb32f..bc12197 100644
--- a/src/Cursor.cpp
+++ b/src/Cursor.cpp
@@ -1947,6 +1947,8 @@ bool Cursor::upDownInText(bool up, bool & updateNeeded)
// Make sure that cur gets back whatever happened to
dummy (Lgb)
operator=(dummy);
}
+ if (pos() && paragraph().isEnvSeparator(pos() - 1))
+ posBackward();
} else {
// if there is a selection, we stay out of any inset,
// and just jump to the right position:
