(window_scroll_pixel_based): Take account of this_scroll_margin when
authorRichard M. Stallman <rms@gnu.org>
Sun, 3 Jul 2005 16:41:48 +0000 (16:41 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sun, 3 Jul 2005 16:41:48 +0000 (16:41 +0000)
commit7ad532392bbea95055f32eb73740fef4992d8c8c
treeef6a1def4275d9049ff5a185f946f1a3991c569c
parent99f71598ea9e68f36306c49e1de1f2213846aaf1
(window_scroll_pixel_based): Take account of this_scroll_margin when
finding point when scrolling up.
src/window.c