[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bigger fringe bitmaps
From: |
Yuri D'Elia |
Subject: |
Re: Bigger fringe bitmaps |
Date: |
Thu, 17 Mar 2022 22:21:14 +0100 |
User-agent: |
mu4e 1.7.9; emacs 29.0.50 |
On Thu, Mar 17 2022, Eli Zaretskii wrote:
>> I agree it's more powerful, but the overlay-arrow shares the same space
>> with the buffer, so it can hide existing information. I like the fact
>> that the fringe is a minimal, non-shared, space.
>
> How would you go about not sharing the screen space with the buffer,
> when the display is a TTY? What else is there that we could use
> instead?
First/last column reserved when the "tty fringe" is on. On one hand,
potentially more wasteful than the overlay-arrow. On the other, it would
be guaranteed to be a single-character only (and any character there
wouldn't overlap - making it clearly distinct).
I tried to copy/paste some buffers to see how it would "play". As a
first impression, it's a tradeoff I'd take over the overlay-arrow while
debugging for sure.
All modes.. mmh. It looks "different". But if I try to keep only the
right-side fringe, I undoubtedly like it and wouldn't mind the loss of
the column at all times.
I definitely need to try to mock an X11 screenshot to see how _that_
would look as well.
> You mean, when left fringe is enabled, right?
>
> I made the text there more accurate, thanks.
Yes. Thanks, very appreciated!
- Bigger fringe bitmaps, Yuri D'Elia, 2022/03/16
- Re: Bigger fringe bitmaps, Eli Zaretskii, 2022/03/16
- Re: Bigger fringe bitmaps, Po Lu, 2022/03/16
- Re: Bigger fringe bitmaps, Yuri D'Elia, 2022/03/17
- Re: Bigger fringe bitmaps, Eli Zaretskii, 2022/03/17
- Re: Bigger fringe bitmaps, Yuri D'Elia, 2022/03/17
- Re: Bigger fringe bitmaps, Eli Zaretskii, 2022/03/17
- Re: Bigger fringe bitmaps, Yuri D'Elia, 2022/03/17
- Re: Bigger fringe bitmaps, Eli Zaretskii, 2022/03/17
- Re: Bigger fringe bitmaps,
Yuri D'Elia <=
- Re: Bigger fringe bitmaps, Eli Zaretskii, 2022/03/18
- Re: Bigger fringe bitmaps, Yuri D'Elia, 2022/03/18
- RE: [External] : Re: Bigger fringe bitmaps, Drew Adams, 2022/03/18
- Re: [External] : Re: Bigger fringe bitmaps, tomas, 2022/03/18
- RE: [External] : Re: Bigger fringe bitmaps, Drew Adams, 2022/03/18
- Re: [External] : Re: Bigger fringe bitmaps, address@hidden, 2022/03/18
- Re: [External] : Re: Bigger fringe bitmaps, Po Lu, 2022/03/18