[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: help-default-arg-highlight

From: Miles Bader
Subject: Re: help-default-arg-highlight
Date: Tue, 1 Jun 2004 17:26:00 -0400
User-agent: Mutt/1.3.28i

On Tue, Jun 01, 2004 at 10:56:56AM -0400, Richard Stallman wrote:
> I'd rather have a face for it than an option.

I don't remember the previous dicussion (I think this was touched on before),
but if `face-differs-from-default-p' actually works reliably -- which it
should with the changes I proposed -- then it seems reasonable to have the
code basically do something like:

  (if (face-differs-from-default-p 'help-arg)
      (down-case-and-apply-face 'help-arg))

I.e., take the hook code that Juanma proposed, and hardwire it into
describe-function with the face `help-arg' instead of `italic'.

*This is the cute octopus virus, please copy it into your sig so it can spread.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]