[Ur] Suggestions for an Emacs face?

[Adam Chlipala]

I've put essentially the same code into the official mode now.  (I used 
slightly different parenthesization, which still seems to work.)

On 08/31/2016 09:14 PM, Ziv Scully wrote:
> I have mine set up to inherit from a face called 
> "font-lock-type-face", which is set by my theme. Perhaps that should 
> be the default. It looks like haskell-mode does exactly this (in 
> haskell-font-lock.el):
>
> (defface haskell-constructor-face
>   '((t :inherit font-lock-type-face))
>   "Face used to highlight Haskell constructors."
>   :group 'haskell)
>
> On Wed, Aug 24, 2016 at 1:00 PM, Adam Chlipala <adamc at csail.mit.edu 
> <mailto:adamc at csail.mit.edu>> wrote:
>
>     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/20160901/77068423/attachment.html>