[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What is the proper way to scale fringe-bitmaps for high-DPI displays
From: |
Eli Zaretskii |
Subject: |
Re: What is the proper way to scale fringe-bitmaps for high-DPI displays? |
Date: |
Thu, 21 Mar 2019 20:31:59 +0200 |
> From: Alex <address@hidden>
> Date: Thu, 21 Mar 2019 11:32:38 -0600
> Cc: Yuri Khan <address@hidden>, address@hidden,
> address@hidden, address@hidden
>
> > In general, having the basic Emacs functionality depend on image
> > libraries is a non-starter, IMO.
>
> What would be the issue in having this support be conditional if it is
> otherwise the best solution?
As an option, sure; patches to that effect are welcome. But we should
make fringe bitmaps look reasonably well on high-DPI displays even
without that. IOW, leaving it as it is now when SVG is not compiled
in is not an idea that we should welcome, IMO.
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, (continued)
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Clément Pit-Claudel, 2019/03/20
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Eli Zaretskii, 2019/03/20
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Clément Pit-Claudel, 2019/03/20
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Eli Zaretskii, 2019/03/20
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Clément Pit-Claudel, 2019/03/20
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Eli Zaretskii, 2019/03/20
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Daniel Pittman, 2019/03/21
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Yuri Khan, 2019/03/21
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Eli Zaretskii, 2019/03/21
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Alex, 2019/03/21
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?,
Eli Zaretskii <=
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Clément Pit-Claudel, 2019/03/21
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Eli Zaretskii, 2019/03/21
- Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Clément Pit-Claudel, 2019/03/21
Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Clément Pit-Claudel, 2019/03/20
Re: What is the proper way to scale fringe-bitmaps for high-DPI displays?, Dmitry Gutov, 2019/03/21