[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: what to call the option for the "scroll bar"?
From: |
Benno Schulenberg |
Subject: |
Re: what to call the option for the "scroll bar"? |
Date: |
Mon, 18 May 2020 19:23:24 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
Op 17-05-2020 om 04:45 schreef Marco Diego Aurélio Mesquita:
> On 5/15/20, Benno Schulenberg <address@hidden> wrote:
>> Now... what shall we call the option? --scrollbar does not seem
>> right, because it is not actually a scroll bar: you cannot click
>> on it and drag it around to scroll through the buffer.
>
> I actually like to call scrollbar. The only other way I can think to
> call it is paddle.
"Paddle" implies that it controls something, that you can use it
to move something. But the thing we've implemented is just an
indicator: it just shows where in the file the screen contents
are and what portion of the file is being shown on the screen.
"Scrollbar" would indeed be better, but then it would actually
have to work like a scroll bar. But it doesn't look like ncurses
sends any dragging events.
Benno
signature.asc
Description: OpenPGP digital signature
- [PATCH 2/2 V6] display: an attempt to support the scroll bar also with --softwrap, Benno Schulenberg, 2020/05/14
- Re: [PATCH 2/2 V6] display: an attempt to support the scroll bar also with --softwrap, Marco Diego Aurélio Mesquita, 2020/05/14
- what to call the option for the "scroll bar"?, Benno Schulenberg, 2020/05/15
- Re: what to call the option for the "scroll bar"?, Marco Diego Aurélio Mesquita, 2020/05/16
- Re: what to call the option for the "scroll bar"?,
Benno Schulenberg <=
- Re: what to call the option for the "scroll bar"?, Marco Diego Aurélio Mesquita, 2020/05/18
- Re: what to call the option for the "scroll bar"?, Benno Schulenberg, 2020/05/21
- Re: what to call the option for the "scroll bar"?, Marco Diego Aurélio Mesquita, 2020/05/21
- Re: what to call the option for the "scroll bar"?, Benno Schulenberg, 2020/05/22
- Re: what to call the option for the "scroll bar"?, Zach DeCook, 2020/05/22
- how should dragging work, and is it worth it?, Benno Schulenberg, 2020/05/24
- Re: how should dragging work, and is it worth it?, Marco Diego Aurélio Mesquita, 2020/05/26
- Re: how should dragging work, and is it worth it?, Benno Schulenberg, 2020/05/26