search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

v vs. ∨ #24

Closed msprotz closed 9 years ago

msprotz commented 9 years ago

The two symbols are really close to each other visually. Is there any way you could make ∨ bold to distinguish it from the variable v? Or perhaps in a different color.

Thanks!

Jonathan

cpitclaudel commented 9 years ago

I pushed a change in that direction. fstar-ambiguous-face is now applied to /\ and \/. By default it inherits from font-lock-negation-char-face, which is usually just bold. Feel free to customize that face and tell me if you find a better way to disambiguate :)

Another approach is to use

(set-fontset-font t (cons ?∨ ?∨) "Symbola" nil 'prepend)

or

(set-fontset-font t (cons ?∨ ?∨) "FreeMono" nil 'prepend)

as these fonts have much more readable symbols.

msprotz commented 9 years ago

I didn't notice any change after upgrading fstar-mode, but "another approach" worked fine for me.

Thanks!

cpitclaudel commented 9 years ago

Sure. I'll close this then, and anyone with the same problem should feel free to reopen.