Re: help-default-arg-highlight

[Juanma Barranquero]

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