Fixup 294969c6: do not forget to update metrics

This commit is contained in:
Jean-Marc Lasgouttes 2020-04-14 17:57:49 +02:00
parent af029d695f
commit 543038e64e

View File

@ -528,12 +528,15 @@ void BufferView::processUpdateFlags(Update::flags flags)
// First try to make the selection start visible // First try to make the selection start visible
// (which is just the cursor when there is no selection) // (which is just the cursor when there is no selection)
scrollToCursor(d->cursor_.selectionBegin(), false); scrollToCursor(d->cursor_.selectionBegin(), false);
// Metrics have to be recomputed (maybe again)
updateMetrics();
// Is the cursor visible? (only useful if cursor is at end of selection) // Is the cursor visible? (only useful if cursor is at end of selection)
if (needsFitCursor()) if (needsFitCursor()) {
// then try to make cursor visible instead // then try to make cursor visible instead
scrollToCursor(d->cursor_, false); scrollToCursor(d->cursor_, false);
// Metrics have to be recomputed (maybe again) // Metrics have to be recomputed (maybe again)
updateMetrics(flags); updateMetrics(flags);
}
} }
flags = flags & ~Update::FitCursor; flags = flags & ~Update::FitCursor;
} }