comparison src/.gdbinit @ 59717:351ffb20ab9f

(window_scroll_pixel_based): Fix scrolling in the wrong direction if window height was smaller than next-screen-context-lines. Now always scroll at least one line in the requested direction. Ensure that we actually do scroll backwards when requested to do so.
author Kim F. Storm <storm@cua.dk>
date Mon, 24 Jan 2005 13:22:29 +0000
parents 5ee7eaad2958
children 28b65d07edde 3dcba0bc766b 6d92d69fae33
comparison
equal deleted inserted replaced
59716:00046b439a5e 59717:351ffb20ab9f