Fix crash reported by John Kennan.

We are missing the updateBuffer() call when we go through
mouseEventDispatch(). A consequence of the massive updateBuffer()
refactoring. Wish it had been caught before...

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@38667 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Richard Heck 2011-05-09 18:05:31 +00:00
parent 757def9c5e
commit 45b57a0966

View File

@ -2086,6 +2086,11 @@ void BufferView::mouseEventDispatch(FuncRequest const & cmd0)
// Do we have a selection? // Do we have a selection?
theSelection().haveSelection(cursor().selection()); theSelection().haveSelection(cursor().selection());
if (cur.needBufferUpdate()) {
cur.clearBufferUpdate();
buffer().updateBuffer();
}
// If the command has been dispatched, // If the command has been dispatched,
if (cur.result().dispatched() || cur.result().screenUpdate()) if (cur.result().dispatched() || cur.result().screenUpdate())
processUpdateFlags(cur.result().screenUpdate()); processUpdateFlags(cur.result().screenUpdate());