[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, 01 Jun 2004 17:12:50 +0900 |
Juanma Barranquero <address@hidden> writes:
>> Ok, this version actually seems to work correctly on both ttys and X:
>>
>> (defun face-differs-from-default-p (face &optional frame)
>
> How would that help in the help-default-arg-highlight case? You cannot
> do (face-font '(:italic t)) or (face-differs-from-default-p '(:italic t))
It would be very easy (trivial) to make those work, but:
> Are you proposing that the italic font be used by default, i.e.
> (if (face-differs-from-default-p 'italic)
> (propertize (downcase arg) 'face 'italic)
This seems the right thing to me, at least for the moment. Why _not_
use the standard `italic' face? If the user generally prefers some
other representation for italic text, wouldn't it make sense to respect
it in this case too?
-Miles
--
Somebody has to do something, and it's just incredibly pathetic that it
has to be us. -- Jerry Garcia
- 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