[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