[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: |
Tue, 3 Jul 2018 20:45:41 -0700 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Tue 3 Jul 2018 22:00 -0400, Noam Postavsky wrote:
>
> Andrew Kurn <kurn@sfu.ca> writes:
>
> > Just to be clear: You guys can't reproduce the bug?
>
> Here's a screenshot of my gtk build, the scrollbar looks the right size
> to me.
>
Aha! In this we disagree. I wonder if the others share your
opinion.
Anyhow, my contention is that, since the whole buffer is on display,
the scroll bar should extend over the whole window. The length of the
scroll bar, as a fraction of the window height, is supposed to be the
fraction of the buffer on display. Its top is the character (line,
usually) where the display starts. Its bottom is where it stops.
Do you see what I'm talking about? -- even if you don't agree.
Andrew
- bug#32002: 24.4; Scroll bar start, end not correct, Glenn Morris, 2018/07/02
- bug#32002: 24.4; Scroll bar start, end not correct, Glenn Morris, 2018/07/02
- bug#32002: 24.4; Scroll bar start, end not correct, Andrew Kurn, 2018/07/03
- bug#32002: 24.4; Scroll bar start, end not correct, Noam Postavsky, 2018/07/03
- 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/04
- bug#32002: 24.4; Scroll bar start, end not correct, Mike Kupfer, 2018/07/04
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/04
- bug#32002: 24.4; Scroll bar start, end not correct, Mike Kupfer, 2018/07/04
- bug#32002: 24.4; Scroll bar start, end not correct, Mike Kupfer, 2018/07/04
- bug#32002: 24.4; Scroll bar start, end not correct, Noam Postavsky, 2018/07/04
- bug#32002: 24.4; Scroll bar start, end not correct, Mike Kupfer, 2018/07/04
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/04
- bug#32002: 24.4; Scroll bar start, end not correct, Mike Kupfer, 2018/07/05
- bug#32002: 24.4; Scroll bar start, end not correct, Eli Zaretskii, 2018/07/05