• Eli Zaretskii's avatar
    Fix scrolling under scroll-preserve-screen-position and margins · b2eb6911
    Eli Zaretskii authored
    * src/window.c (window_scroll_pixel_based): When setting point to
    preserve screen coordinates, don't let cursor enter either of the
    two scroll margins.  Fix incorrect usage of
    WINDOW_WANTS_HEADER_LINE_P and use WINDOW_HEADER_LINE_HEIGHT
    instead of CURRENT_HEADER_LINE_HEIGHT.  (Bug#22395)
    b2eb6911
window.c 240 KB