[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: help-default-arg-highlight
From: |
Juanma Barranquero |
Subject: |
Re: help-default-arg-highlight |
Date: |
Tue, 01 Jun 2004 10:22:20 +0200 |
On Tue, 01 Jun 2004 17:12:50 +0900
Miles Bader <address@hidden> wrote:
> It would be very easy (trivial) to make those work, but:
I think it would be good, at least for consistency with other face/font
functions.
> This seems the right thing to me, at least for the moment. Why _not_
> use the standard `italic' face?
I think I didn't explain myself clearly enough. I was not implying that
using the italic face was wrong (I think it's right); I was just trying
to understand the implications of your change to
face-differs-from-default-p from the point of view of fixing help arg
highlighting (which I'm very eager to do).
> If the user generally prefers some
> other representation for italic text, wouldn't it make sense to respect
> it in this case too?
Sure. I'm asking questions because I don't want to fix
help-default-arg-highlight only to have to change it (once again) in two
or three days' time :)
BTW, with your changes, face-differs-from-default-p turns into a useful
function. The old behaviour produced surprising results sometimes.
Juanma
- 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, 2004/06/01
- 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