>>>>> "Abdelrazak" == Abdelrazak Younes <[EMAIL PROTECTED]> writes:
Abdelrazak> OK, This patch fixes no less than 3 crashes when reverting
Abdelrazak> a document!
A question: why do you need this
void paintText(BufferView & bv, ViewMetricsInfo const & vi,
Painter & pain)
{
+ if (!bv.buffer())
+ return;
+
This is IMO a sign that things are wrong. paintText should never be
entered if buffer is null.
JMarc
