Avoid empty space above the top of the document

If the height of the first row of the document has become smaller (for
example when it contains an image which size has shrunk), that the
anchor offset has to be adapted so that there is not a large blank
space at the top of the document.
This commit is contained in:
Jean-Marc Lasgouttes 2017-09-28 13:31:41 +02:00
parent a18ad654e8
commit d6aecbda0f

View File

@ -2706,10 +2706,10 @@ void BufferView::updateMetrics()
// Complete buffer visible? Then it's easy.
if (scrollRange == 0)
d->anchor_ypos_ = anchor_pm.ascent();
// FIXME: Some clever handling needed to show
// the _first_ paragraph up to the top if the cursor is
// in the first line.
else {
// avoid empty space above the first row
d->anchor_ypos_ = min(d->anchor_ypos_, anchor_pm.ascent());
}
}
anchor_pm.setPosition(d->anchor_ypos_);
tm.updatePosCache(d->anchor_pit_);