[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: a scroll bar on the right that shows position and portion
From: |
Benno Schulenberg |
Subject: |
Re: a scroll bar on the right that shows position and portion |
Date: |
Sun, 26 Apr 2020 12:03:35 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
Op 26-04-2020 om 03:41 schreef Brand Huntsman:
> My fix patch falls apart when softwrap is enabled. The knob is hidden
> even if top or bottom line isn't fully visible. And the '+' indicators
> don't work properly. I don't think I found a solution for softwrap when
> I wrote the scroll titlebar indicator.
Yes, softwrap is a problem: it would take lots of computation to get
the total number of chunks in the buffer and then the number of chunks
on the screen, so in my version of the general patch (coming up), I
just suppress the scroll bar when softwrap is on.
> The guidestripe has an issue where copying text with X11 mouse pastes
> spaces from end of text to the guidestripe. This issue is amplified with
> scrollbar because those spaces are always as wide as the terminal.
For me (on Xfce Terminal), when I select multiple lines, always the
trailing whitespace until the edge of the screen gets copied to the
clipboard too. But xterm and urxvt apparently strip these trailing
spaces when copying the text to the clipboard -- unless there is a
colored space.
> A toggle to hide scrollbar (and guidestripe) would help, but it would
> still be annoying remembering to turn it off, copy, and then turn it
> back on.
The proper solution would be to let nano handle the selection of text
with the mouse itself, like fte and tilde seem to do. But that is...
something else entirely.
Benno
signature.asc
Description: OpenPGP digital signature
- Re: [RFC] a scroll bar on the right that shows position and portion, (continued)
- Re: [RFC] a scroll bar on the right that shows position and portion, Marco Diego Aurélio Mesquita, 2020/04/23
- Re: [RFC] a scroll bar on the right that shows position and portion, Brand Huntsman, 2020/04/23
- Re: [RFC] a scroll bar on the right that shows position and portion, Marco Diego Aurélio Mesquita, 2020/04/23
- Re: [RFC] a scroll bar on the right that shows position and portion, Brand Huntsman, 2020/04/24
- Re: a scroll bar on the right that shows position and portion, Benno Schulenberg, 2020/04/24
- Re: a scroll bar on the right that shows position and portion, Brand Huntsman, 2020/04/25
- Re: a scroll bar on the right that shows position and portion, Brand Huntsman, 2020/04/25
- Re: a scroll bar on the right that shows position and portion, Brand Huntsman, 2020/04/25
- Re: a scroll bar on the right that shows position and portion, Marco Diego Aurélio Mesquita, 2020/04/26
- Re: a scroll bar on the right that shows position and portion, Benno Schulenberg, 2020/04/26
- Re: a scroll bar on the right that shows position and portion,
Benno Schulenberg <=
- Re: a scroll bar on the right that shows position and portion, Benno Schulenberg, 2020/04/26
- Re: a scroll bar on the right that shows position and portion, Brand Huntsman, 2020/04/26
- Re: a scroll bar on the right that shows position and portion, Benno Schulenberg, 2020/04/26
- Re: a scroll bar on the right that shows position and portion, Benno Schulenberg, 2020/04/27