[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bigger fringe bitmaps
From: |
Eli Zaretskii |
Subject: |
Re: Bigger fringe bitmaps |
Date: |
Fri, 18 Mar 2022 08:22:13 +0200 |
> From: Yuri D'Elia <wavexx@thregr.org>
> Cc: emacs-devel@gnu.org
> Date: Thu, 17 Mar 2022 22:21:14 +0100
>
> 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).
How many hours will pass before someone requests a capability to use
more than just a single column? We already use two with "=>", so
going down to one with something like ">" will probably be considered
a regression by some.
So I think the current situation is better on balance.
- 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, 2022/03/17
- Re: Bigger fringe bitmaps,
Eli Zaretskii <=
- 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