Fix scrolling with partial lines
commitb9be4c14e89f5cec08a7a0f0d24033e0e6ff5ef0
authorNoam Postavsky <npostavs@gmail.com>
Sat, 21 Jan 2017 18:24:47 +0000 (21 13:24 -0500)
committerNoam Postavsky <npostavs@gmail.com>
Fri, 3 Feb 2017 02:21:18 +0000 (2 21:21 -0500)
treeba9f3ce95ecfc4f303a06f8e95a28c6cc9125eef
parente27a91cddc1a66c25e09d3929c5625637ec34a49
Fix scrolling with partial lines

* src/xdisp.c (partial_line_height): New function.
(try_scrolling):
* src/window.c (window_scroll_pixel_based): Use it for calculating the
pixel scroll margin correctly in a window with partial lines.
src/dispextern.h
src/window.c
src/xdisp.c