[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
what to call the option for the "scroll bar"?
From: |
Benno Schulenberg |
Subject: |
what to call the option for the "scroll bar"? |
Date: |
Fri, 15 May 2020 16:27:11 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
Op 14-05-2020 om 21:01 schreef Marco Diego Aurélio Mesquita:
> Attached is the patch updated to current master and with a descriptive
> message and my sign-off line.
Okay.
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.
('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?
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 <=
- 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, 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