Re: "Fix" sag scaling for hidpi

[Alan Third]

On Sun, Feb 14, 2021 at 12:50:26AM +0200, Dmitry Gutov wrote:
> I noticed the pgtk and the GTK3 builds render them in different size at 2x
> scaling. Basically, pgtk scales (and renders them kind of fuzzily) and GTK3
> does not. I wonder if their rendering could be standardized as well, and
> whether the same approach could be used to avoid fuzziness.

Really I think we should be providing hi-res, or vector, versions of
the fringe bitmaps for hi-dpi screens.

I'm not sure if we can just swap in SVG files for the fringe bitmaps
on systems that support them... Fringe bitmaps are special in some
way.
-- 
Alan Third