[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: help-default-arg-highlight
From: |
Glenn Morris |
Subject: |
Re: help-default-arg-highlight |
Date: |
Fri, 28 May 2004 15:45:41 +0100 |
User-agent: |
Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) |
Juanma Barranquero wrote:
> - redefine or advise `help-default-arg-highlight' in your .emacs to
> do other kind of highlighting
I've done that, but I was reporting this because I think the behaviour
of Emacs in this regard is inadequate and should be fixed. Somehow...
> - (variant of the above): lobby to have a customizable face for arg
> highlighting, defaulting to the italic face. That should work for you.
Seems to me like that would be a better idea, but I get the impression
it's been discussed to death already, and I'm too apathetic to lobby.
> - think of a way we can detect setups like yours so we can do a better
> `help-default-arg-highlight' (I tried `face-differs-from-default-p',
> without success)
Can't think of anything, sorry.
(with-devils-advocate
Or put things back to how they were)
More seriously, it seems like a nice enough feature.
- help-default-arg-highlight, Glenn Morris, 2004/05/25
- Re: help-default-arg-highlight, Juri Linkov, 2004/05/28
- Re: help-default-arg-highlight, Kim F. Storm, 2004/05/29
- Re: help-default-arg-highlight, Juri Linkov, 2004/05/29
- Re: help-default-arg-highlight, Kim F. Storm, 2004/05/29
- Re: help-default-arg-highlight, Juanma Barranquero, 2004/05/31
- Re: help-default-arg-highlight, Miles Bader, 2004/05/31
- Re: help-default-arg-highlight, Juanma Barranquero, 2004/05/31
- Re: help-default-arg-highlight, Juanma Barranquero, 2004/05/31
- Re: help-default-arg-highlight, Miles Bader, 2004/05/31
- Re: help-default-arg-highlight, Kenichi Handa, 2004/05/31