summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
130a555)
Remove special handling of spaces at end of paragraph. Now they are
handled like interword spaces by both DEPM methods.
Fix off-by-one error in loop when testing for end of paragraph.
Part of bug #11412.
(adapted from commit
c00234503f9e07795723222e6095c022e45ad1dd)
&& !oldpar.isDeleted(from - 1))
--from;
int to = old.pos();
&& !oldpar.isDeleted(from - 1))
--from;
int to = old.pos();
- while (to < oldpar.size() - 1
+ while (to < oldpar.size()
&& oldpar.isLineSeparator(to)
&& !oldpar.isDeleted(to))
++to;
&& oldpar.isLineSeparator(to)
&& !oldpar.isDeleted(to))
++to;
- // If we are not at the extremity of the paragraph, keep one space
- if (from != to && from > 0 && to < oldpar.size())
+ // If we are not at the start of the paragraph, keep one space
+ if (from != to && from > 0)
++from;
if (same_par && cur.pos() >= from && cur.pos() < to)
++from;
if (same_par && cur.pos() >= from && cur.pos() < to)