[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:33:21 +0200 |
> Cc: address@hidden, address@hidden
> From: Clément Pit-Claudel <address@hidden>
> Date: Thu, 21 Mar 2019 13:38:45 -0400
>
> > The failure mode that bothers me much more is that Emacs without SVG
> > support will be unable to show the standard fringe indicators.
>
> I was expecting something like the toolbars images, where the package author
> would provide both an SVG and a bitmap, and Emacs would use the latter when
> SVG support isn't available.
I was talking about the standard indicator bitmaps, where we are "the
package author".
- 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?, 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, 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?,
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?, 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