avoid scrolling an extra line at end of paged document
commitf4313e6aac8f20811fd033553675435546678e67
authormbays <mbays@sdf.org>
Sat, 2 Apr 2022 00:00:00 +0000 (2 00:00 +0000)
committermbays <mbays@sdf.org>
Sat, 2 Apr 2022 00:00:00 +0000 (2 00:00 +0000)
tree161cc7f057ae9e8f6d5fad39c86a9ae899277f58
parent90e1f3beff74b42b16cad915c2e0be9a7615b4dd
avoid scrolling an extra line at end of paged document
Pager.hs