Don't count mode line for scroll-margin limit
commitc92fc7a2156a5939439b7236452d4dfcfc13cc89
authorNoam Postavsky <npostavs@gmail.com>
Sun, 28 Aug 2016 21:23:04 +0000 (28 17:23 -0400)
committerNoam Postavsky <npostavs@gmail.com>
Fri, 3 Feb 2017 02:19:53 +0000 (2 21:19 -0500)
treee9ed05fa31650f9e82f5a32944e6e0695ca8af8e
parentd17e92da064cabf376597f5de2a8d5a6484bfea6
Don't count mode line for scroll-margin limit

* src/window.c (window_scroll_margin): Use window_box_height to avoid
counting header line, scrollbars for scroll-margin limit (Bug #5718).
src/window.c