This fixes the non-existent change bar in case only the paragraph break has been changed. From a bug report by Jürgen (under bugzilla 880, but see also 1254-1255), thanks.
If I hear no objections this goes in presently. - Martin
Index: rowpainter.C =================================================================== --- rowpainter.C (revision 13328) +++ rowpainter.C (working copy) @@ -363,7 +363,7 @@ pos_type const start = row_.pos(); pos_type const end = row_.endpos(); - if (start == end || !par_.isChanged(start, end - 1)) + if (start == end || !par_.isChanged(start, end)) return; int const height = text_.isLastRow(pit_, row_)
signature.asc
Description: This is a digitally signed message part
