On Wed, Feb 15, 2017 at 01:18:41PM +0100, Guillaume Munch wrote: > I have a series of patches (attached) that make the decoration thickness > increase with zoom, to improve the appearance on high-dpi. The > decorations do not look worse than without the added thickness. I have > not committed it yet because I have not found a way to keep it simple, > and there are still some issues. But you might like to try them.
The patch works well for me. It is fun to see how the decorations look zoomed in. > For \dot in particular it looks like a square rather than a line. Agreed. Scott
signature.asc
Description: PGP signature