[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
how should dragging work, and is it worth it?
From: |
Benno Schulenberg |
Subject: |
how should dragging work, and is it worth it? |
Date: |
Sun, 24 May 2020 19:49:40 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
Op 22-05-2020 om 22:44 schreef Zach DeCook:
> I agree (that behavior sounds preferable), though I had thought that could be
> accomplised with M-- and M-+. I guess I was wrong about their behavior.
The available width on a help screen is limited (to avoid wrapping
on an 80-column terminal), so the shortcut descriptions do not always
mention all the details. For a bit more precision, see 'man nanorc',
search for "scrollup".
> A Meta-PageUp/Down option (which leaves the cursor in its location while
> scrolling the file) would be a more usable interface should this functionality
> be implemented.
Alt+PgUp/PgDn are already taken in current git, for jumping between
anchors.
> And given the description of M-- and M-+,
>> Scroll up one line without moving the cursor textually
> I would think they should gain that ability were it to be implemented.
The way that scrollup/scrolldown work will not change. They work
as intended, they work well.
Maybe Marco is right and dragging the slider should move the cursor
too (if it threatens to go offscreen), the same way as for scrollup/
scrolldown. Or maybe too few people ever drag a scroll-bar slider
and it's not worth the trouble to implement dragging at all.
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, 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 <=
- 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