[Ur] Suggestions for an Emacs face?
Adam Chlipala
adamc at csail.mit.edu
Wed Aug 24 13:00:47 EDT 2016
It's been pointed out <https://github.com/urweb/urweb/issues/46> that
urweb-mode (for Emacs) hardcodes a color choice for one kind of text
(capitalized variables, e.g. for datatype constructor names).
Are there any Emacs experts out there with recommendations for how the
custom faces in general should be set up?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160824/294179ef/attachment.html>
More information about the Ur
mailing list