[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: what to call the option for the "scroll bar"?
|
From: |
Marco Diego Aurélio Mesquita |
|
Subject: |
Re: what to call the option for the "scroll bar"? |
|
Date: |
Sat, 16 May 2020 23:45:50 -0300 |
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.
> ('tilde' has a real scroll bar: you can drag it to scroll, and
> click above or below it to page up or down.)
>
> So... I'm thinking of --indicator and 'set indicator'. Short
> option: -q. Any other suggestions?
>
I'm not against it.
- [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 <=
- Re: what to call the option for the "scroll bar"?, Benno Schulenberg, 2020/05/18
- 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