[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 08:43:44 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
On Thu, Mar 17 2022, Po Lu wrote:
>> I suspect upscaling with nearest-neighbor would be a possibility for the
>> moment, but it's the API surrounding the fixed bitmap sizes that doesn't
>> look future-proof to me.
>
> It should be reasonably future-proof, since we can always add
> higher-resolution fringe bitmaps later.
>
> Scaling of display elements (such as face boxes, tool-bar margins and
> bitmaps, and fringes) is something I'm working on, but progress is
> limited since I don't have any HiDPI hardware to test on.
No comment on the idea of potentially using characters in the fringe?
I find the idea appealing somehow, even ignoring hidpi issues, simply
because "it's just more text".
I like the idea of using 🢱 (or ⤶⤷) for wrapped text, 🮗 as a
end-of-buffer, and so on. Easily scaled, and nicely antialiased.
Especially the fact that this would potentially mean an usable fringe
mode on character displays that can be toggled, so that you don't need
to provide an alternate signaling mechanism if you rely on the fringe to
show makers (like gud).
Just to throw ideas on the ground, what if we accepted 3 alternatives
when setting a fringe symbol:
- a bitmap
- a character symbol for character displays (where the font family has
to be the same throughout the display and thus can be more limited in
choice)
- a character for graphical displays (where the fringe face can be set
to a different family entirely)
- 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 <=
- 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, 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