]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08a3405) | patch
Make sure that top/bottom margins are visible when needed
authorJean-Marc Lasgouttes <lasgouttes@lyx.org>
Fri, 12 Feb 2021 14:04:58 +0000 (15:04 +0100)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Fri, 12 Feb 2021 17:35:07 +0000 (18:35 +0100)
commita78eb4471f2577cfa2fa89b27d27013c68937a17
treedb8108d50088c5bdfa8ce29ca285dfb2a474e2fdtree | snapshot
parent08a3405181aed8b4c3d60af8cc3ac785b7e189cdcommit | diff
Make sure that top/bottom margins are visible when needed

When the cursor is at the top, it is important to make sure that, not
only its row is visible, but also the extra margin at the beginning of
the document, that was added at 907f0207.

Fixes part of bug #12123.
src/BufferView.cpp diff | blob | history
Repository for new features