[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: |
Wed, 16 Mar 2022 20:23:11 +0200 |
> From: Yuri D'Elia <wavexx@thregr.org>
> Date: Wed, 16 Mar 2022 18:57:30 +0100
>
> I recently switched to a higher-resolution screen to basque in all the
> hidpi glory.
>
> And all is good. Pretty darn amazing for text rendering, in fact.
>
> Except for the fringe.
>
> Even at 16x16, these bitmaps are now indistinguishable from specks of
> dust. At least on lucid the bitmaps do not get upscaled by setting a
> larger fringe size.
>
> 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.
>
> I didn't think much of it at first, but it's while debugging with `gud'
> that I'm really struggling and realizing how useful the fringe is.
>
> Shouldn't we allow the fringe to be a single character instead of being
> a bitmap? With it's own family on graphical displays?
It could be a separate feature, but I don't think it should be the
solution for the problem you describe (which is a known problem). We
should be able to produce a decent display of fringe bitmaps on hidpi
terminals.
- Bigger fringe bitmaps, Yuri D'Elia, 2022/03/16
- Re: Bigger fringe bitmaps,
Eli Zaretskii <=
- 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, 2022/03/18
- Re: Bigger fringe bitmaps, Yuri D'Elia, 2022/03/18