[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'.
-Miles
--
=====
(^o^;
(()))
*This is the cute octopus virus, please copy it into your sig so it can spread.
- Re: help-default-arg-highlight, Miles Bader, 2004/06/01
- Re: help-default-arg-highlight, Kenichi Handa, 2004/06/01
- Re: help-default-arg-highlight, Richard Stallman, 2004/06/01
- Re: help-default-arg-highlight,
Miles Bader <=
- Re: help-default-arg-highlight, Juanma Barranquero, 2004/06/02
- Re: help-default-arg-highlight, Miles Bader, 2004/06/03
- Re: help-default-arg-highlight, Juanma Barranquero, 2004/06/04
- Re: help-default-arg-highlight, Miles Bader, 2004/06/04
- Re: help-default-arg-highlight, Juanma Barranquero, 2004/06/04
- Re: help-default-arg-highlight, Miles Bader, 2004/06/04
- Re: help-default-arg-highlight, Juanma Barranquero, 2004/06/04
- Re: help-default-arg-highlight, Miles Bader, 2004/06/04