Jean-Marc Lasgouttes wrote:
"Abdelrazak" == Abdelrazak Younes <[EMAIL PROTECTED]> writes:
Abdelrazak> No, there is no more buffer, that is different. The Buffer
Abdelrazak> pointer in BufferView was not properly set to zero when
Abdelrazak> the Buffer was closed file was reloaded hence one the
Abdelrazak> crashes.
Having a bufferview without a buffer is wrong IMO (see my comment on
your patch).
Of course if it wrong but the possibility is there (not my doing). What
do you want me to do? Further clean up the BufferView and the Buffer?
I'll do that in 1.6 ;-)
When we do that, then the WorkArea and the LyXView would not have any
notion of Buffer (except for decoration), only of BufferView. Then the
Buffer-Switch command would really be a BufferView-switch command inside
WorkArea.
In any case, a BufferView without a Buffer does not happen normally. In
this case it happened because the WorkArea and Cursor widget loop event
were not shut done during the buffer-switch. In the past (read
pre-Denmark) this could not happen because we had an intermediate pixmap.
Abdel.
