[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: how should dragging work, and is it worth it?
From: |
Benno Schulenberg |
Subject: |
Re: how should dragging work, and is it worth it? |
Date: |
Tue, 26 May 2020 20:43:17 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
Op 26-05-2020 om 06:31 schreef Marco Diego Aurélio Mesquita:
> I have just implemented the way you described as preferable. During my
> quick tests it works just like a gui application, the cursor can go
> offscreen and the screen goes to where it is if it is moved or any
> char is added.
>
> I really think it is worth it.
>
> [...]
>
> Benno, do you want me to post my current proof-of-concept quality code
> for you to test its behavior (and possibly point me to the correct
> direction with the changes) or should I wait before it is more
> merge-worthy quality before sending?
I've already answered that: sit on it, improve it. We're not in
a hurry.
But... as you said it is big... The indicator by itself is already
100 lines in total. If dragging requires more than 50 lines extra...
then let's leave it.
> I think the scrollbar can be made to work just like a "real"
> scrollbar. I see 3 events that must be handled: clicking on the
> buttons, clicking the area between the buttons and the paddle and
> dragging the paddle.
Buttons? There should be no buttons. There is just the indicator
and possibly space above and/or below it. The indicator should be
draggable, and the spaces clickable -- and when the indicator is at
the top or bottom and nano can still scroll further, clicking on the
indicator should scroll further in that direction.
Benno
signature.asc
Description: OpenPGP digital signature
- what to call the option for the "scroll bar"?, (continued)
- 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, 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 <=