<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
I've put essentially the same code into the official mode now. (I
used slightly different parenthesization, which still seems to
work.)<br>
<br>
<div class="moz-cite-prefix">On 08/31/2016 09:14 PM, Ziv Scully
wrote:<br>
</div>
<blockquote
cite="mid:CADK8yDT912_6i+8kLwPyOxKGQWSUjx=eOm_Y=d2aSnx3WM4=UQ@mail.gmail.com"
type="cite">
<div dir="ltr"><span style="font-size:13px">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):</span>
<div style="font-size:13px"><br>
</div>
<div style="font-size:13px">
<div>(defface haskell-constructor-face</div>
<div> '((t :inherit font-lock-type-face))</div>
<div> "Face used to highlight Haskell constructors."</div>
<div> :group 'haskell)</div>
</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Wed, Aug 24, 2016 at 1:00 PM, Adam
Chlipala <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF"> It's been <a
moz-do-not-send="true"
href="https://github.com/urweb/urweb/issues/46"
target="_blank">pointed out</a> that urweb-mode (for
Emacs) hardcodes a color choice for one kind of text
(capitalized variables, e.g. for datatype constructor
names).<br>
<br>
Are there any Emacs experts out there with recommendations
for how the custom faces in general should be set up?<br>
</div>
</blockquote>
</div>
</div>
</blockquote>
</body>
</html>