Fix bug #19060 with inaccurate pixel-based scrolling.
commit1fb97e79d269d8196811ebb6abdd93d70c95bc5c
authorEli Zaretskii <eliz@gnu.org>
Sat, 15 Nov 2014 17:04:17 +0000 (15 19:04 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 15 Nov 2014 17:04:17 +0000 (15 19:04 +0200)
tree78607add4b5dc0efc79ba4d3c0a76b2c939c802f
parentd4fceca9cd0d6f42bd45f4c6e572d1335c9d40dc
Fix bug #19060 with inaccurate pixel-based scrolling.

 src/window.c (window_scroll_pixel_based): Avoid truncation/rounding
 errors in computing the number of pixels to scroll.  Suggested by
 Kelly Dean <kelly@prtime.org>.
src/ChangeLog
src/window.c