Re: [Patch] Fix crash when reverting document

[Abdelrazak Younes]

Jean-Marc Lasgouttes wrote:
"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. 

I don't need it but there might be some other corner cases where this 
could happen. But you are probably right, I will replace that with an 
assert.

Abdel.