Re: help-default-arg-highlight

[Miles Bader]

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'.

-Miles
-- 
=====
(^o^;
(()))
*This is the cute octopus virus, please copy it into your sig so it can spread.