[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#32002: 24.4; Scroll bar start, end not correct
From: |
martin rudalics |
Subject: |
bug#32002: 24.4; Scroll bar start, end not correct |
Date: |
Mon, 23 Jul 2018 08:51:11 +0200 |
>> My knowledge of what scrolling should do is too limited.
>
> (It seems like I need to put my instructor hat on today ;-)
>
> Let me fill you in: scrolling just needs to set the window's start
> point to the desired value, all the rest is done by redisplay. As
> simple as that.
Apparently we want scrolling also to second-guess the desired value.
So things seem more complicated than that.
> (Well, if you need to scroll more than one screenful, then you need to
> worry about a few other things, like setting point such that Emacs
> won't scroll back to where point is. But this is not one of those
> cases, we just scroll by one line here.)
Emacs scrolls by more than one line in the case at hand.
martin
- bug#32002: 24.4; Scroll bar start, end not correct, (continued)
- bug#32002: 24.4; Scroll bar start, end not correct, Andrew Kurn, 2018/07/12
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/12
- bug#32002: 24.4; Scroll bar start, end not correct, Stephen Berman, 2018/07/12
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/12
- bug#32002: 24.4; Scroll bar start, end not correct, Mike Kupfer, 2018/07/14
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/14
- bug#32002: 24.4; Scroll bar start, end not correct, martin rudalics, 2018/07/14
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/21
- bug#32002: 24.4; Scroll bar start, end not correct, martin rudalics, 2018/07/22
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/22
- bug#32002: 24.4; Scroll bar start, end not correct,
martin rudalics <=
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/27
- bug#32002: 24.4; Scroll bar start, end not correct, martin rudalics, 2018/07/27
- bug#32002: 24.4; Scroll bar start, end not correct, Andrew Kurn, 2018/07/27
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/27
- bug#32002: 24.4; Scroll bar start, end not correct, martin rudalics, 2018/07/28
- bug#32002: 24.4; Scroll bar start, end not correct, Mike Kupfer, 2018/07/28
- bug#32002: 24.4; Scroll bar start, end not correct, Mike Kupfer, 2018/07/15
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/21