Re: markDirty() on Current- or Document- Buffer ?

[Tommaso Cucinotta]

Given the line that follows:

-                       doc_buffer->markDirty();                     
+                       lv->currentBufferView()->buffer().markDirty();          
          

                if (lv && lv->currentBufferView()) {
                        // BufferView::update() updates the ViewMetricsInfo and

it may be necessary to add a protection:

-                       doc_buffer->markDirty();                     
+                       if (lv && lv->currentBufferView())
+                               lv->currentBufferView()->buffer().markDirty();  
                  

        T.