[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#32002: 24.4; Scroll bar start, end not correct
From: |
Andrew Kurn |
Subject: |
bug#32002: 24.4; Scroll bar start, end not correct |
Date: |
Fri, 27 Jul 2018 04:03:02 -0700 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Fri 27 Jul 2018 11:23 +0200, martin rudalics wrote:
>
> > How about putting on master a patch that does what you suggested,
> > conditioned on scroll-bar-adjust-thumb-portion being nil and the car
> > and cdr of portion-whole being both numbers? How bad could that be,
> > given that this mode is evidently not used by anyone?
>
> OK. I shall do that.
>
> martin
Um, ah, I use it, now that I know about it.
However, I admit that I don't have strong feelings about it
because I don't use the mouse much around Emacs. It was,
after all, designed to be very key-stroke-oriented.
My interest in this bug was in having the thumb accurately
reflect the window vs. buffer . . .
. . . and having the mode-line show the same information,
which I now see how to do, having read the latest doc.
Andrew
- bug#32002: 24.4; Scroll bar start, end not correct, (continued)
- 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, 2018/07/23
- 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 <=
- 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