mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-22 13:18:28 +00:00
Allow to type a space in front of another one
This is a follow-up to714b731e
. This fixes the issue when the cursor is in front of a space abc| def and one inserts another space (to start a word). DEPM would eat one space and produce abc |def instead of abc | def Additionally, fix the same_par boolean, wheich did not take the cell index into account. Related to ticket #11412. (cherry picked from commit7848d3c90c
)
This commit is contained in:
parent
a54147d087
commit
aa2f5eb426
@ -824,8 +824,8 @@ bool Text::deleteEmptyParagraphMechanism(Cursor & cur,
|
||||
There are still some small problems that can lead to
|
||||
double spaces stored in the document file or space at
|
||||
the beginning of paragraphs(). This happens if you have
|
||||
the cursor between to spaces and then save. Or if you
|
||||
cut and paste and the selection have a space at the
|
||||
the cursor between two spaces and then save. Or if you
|
||||
cut and paste and the selection has a space at the
|
||||
beginning and then save right after the paste. (Lgb)
|
||||
*/
|
||||
|
||||
@ -845,7 +845,8 @@ bool Text::deleteEmptyParagraphMechanism(Cursor & cur,
|
||||
|
||||
// Whether a common inset is found and whether the cursor is still in
|
||||
// the same paragraph (possibly nested).
|
||||
bool const same_par = depth < cur.depth() && old.pit() == cur[depth].pit();
|
||||
bool const same_par = depth < cur.depth() && old.idx() == cur[depth].idx()
|
||||
&& old.pit() == cur[depth].pit();
|
||||
bool const same_par_pos = depth == cur.depth() - 1 && same_par
|
||||
&& old.pos() == cur[depth].pos();
|
||||
|
||||
@ -868,7 +869,7 @@ bool Text::deleteEmptyParagraphMechanism(Cursor & cur,
|
||||
if (from != to && from > 0 && to < oldpar.size())
|
||||
++from;
|
||||
|
||||
if (same_par && cur.pos() > from && cur.pos() < to)
|
||||
if (same_par && cur.pos() >= from && cur.pos() < to)
|
||||
++from;
|
||||
|
||||
// Remove spaces and adapt cursor.
|
||||
|
Loading…
Reference in New Issue
Block a user