The following patch is related to bug 5310
http://bugzilla.lyx.org/show_bug.cgi?id=5310
It makes sure that the BufferView is updated after doing findNextChange.
Abdel, is it how it is supposed to be done?
Then a more annoying problem occurs: in findnextChange, we have the code
// avoid crash (assertion violation) if the imaginary end-of-par
// character of the last paragraph of the document is marked as changed
if (tip.at_end())
tip.backwardPos();
This is obviously wrong when the change extends to the last character of the
inset: in this case, this last character will not be selected...
I would be tempted to remove this code, but I do not know how to test
for this "if the imaginary end-of-par character of the last paragraph of
the document is marked as changed" condition".
Help appreciated.
JMarc
