[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: |
Thu, 21 May 2020 11:40:23 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
Op 18-05-2020 om 23:54 schreef Marco Diego Aurélio Mesquita:
> IIRC, ncurses does send mouse move, down and up events. I even
> remember some successful experiments modifying nano to select with
> click and drag. It probably doesn't work on every terminal; I got it
> to work on gnome-terminal and xterm while it did not work on Eterm.
> Had to use printf("\033[?1003h\n") though. But it is definitely
> possible to capture drag using ncurses.
What does 1003h do? Do you have a reference URL?
> Consider the attached diff. I think it is easy to enable events
> related to mouse drag in nano (select, move selection, move
> scrollbar...).
>
> Do you want me to implement a proof of concept to select text using
> click and drag?
Currently I'm not interested in selecting text with the mouse.
I'm interested in dragging the indicator.
(Personally, I wouldn't be tempted to click and drag the indicator,
but people who use 'set mouse' probably will. So it would be good
if that actually worked.)
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, 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 <=
- 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