Re: new *Help* argument highlighting

[David Kastrup]

Juanma Barranquero <address@hidden> writes:

> On Tue, 11 May 2004 08:23:17 -0400
> Richard Stallman <address@hidden> wrote:
> 
> > So he can customize two things instead of one.  That is no big deal.
> > (Only a few people will customize this.)
> 
> I'm not entirely sure whether that means "OK, let's use lowercase
> italics and have a face and a -function var", or I'm just misreading
> English again :)

I think the least we can do is make lowercasing depending on whether
face-differs-from-default-p returns true.

If it does what I think it does.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum