Don't allow inserting two consecutive separators.

diff --git a/src/Text3.cpp b/src/Text3.cpp
index b12f09478d1a787db73e12adf3ddefffc547137f..2c2cba47298cbb23f6ca0e4e997fa2e635d3f217 100644 (file)
--- a/src/Text3.cpp
+++ b/src/Text3.cpp
@@ -1073,6 +1073,7 @@ void Text::dispatch(Cursor & cur, FuncRequest & cmd)
                Paragraph const & par = pars_[pit];
                Paragraph const & prevpar = pit > 0 ? pars_[pit - 1] : par;
                if (pit > 0 && cur.pos() == par.beginOfBody()
+                   && !par.isEnvSeparator(cur.pos())
                    && ((prevpar.getDepth() > par.getDepth()
                         && !par.layout().isEnvironment())
                        || (prevpar.layout() != par.layout()