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.

diff --git a/src/BufferView.cpp b/src/BufferView.cpp
index ab264baf7bff5fb6d25d100e231986ca9d21e677..d052d0898139e00bf90135c021b7ca6c39b4d038 100644 (file)
--- a/src/BufferView.cpp
+++ b/src/BufferView.cpp
@@ -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_);