search

verus-lang / verus-mode.el

Support for Verus programming in Emacs
BSD 3-Clause "New" or "Revised" License
5 stars 0 forks source link

Use fallback when replacement symbol unavailable #6

Closed jaylorch closed 1 year ago

jaylorch commented 1 year ago

In some fonts, there's no rendering for the symbols used for &&& and |||. It would be good to detect this case and use either a sensible fallback or just forgo the replacement.

jaybosamiya commented 1 year ago

I'm not sure if auto-detection is easy but this should be fixable locally for yourself by running M-x customize-variable RET verus-symbols-alist RET which will open up a nice interface where you can edit the symbols used for prettification (in particular, you'll be able to remove any prettifications that you do not like by hitting enter on the relevant [DEL] or edit it to something your fonts supports---the numbers there correspond to the unicode code point for the prettified character). You can hit [Apply] for it to be temporary, or [Apply and Save], to make your changes permanent for your machine.

jaylorch commented 1 year ago

This worked, thanks! It would probably be useful to put this in the instructions.