[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: |
Mon, 31 May 2004 19:29:43 +0900 |
Juanma Barranquero <address@hidden> writes:
>> It seems the right thing to is to make `display-supports-face-attributes-p'
>> work correctly for fonts;
>
> I don't understand. Are you suggesting passing it a face to ask whether
> the face supports the attribute?
No, but it seems like the proper low-level mechanism to use, so I think
`face-differs-from-default-p' should be implemented in terms of
display-supports-face-attributes-p; the current definition of
`face-differs-from-default-p' is quite stupid.
-Miles
--
Freedom's just another word, for nothing left to lose --Janis Joplin
- Re: help-default-arg-highlight, (continued)
- 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
- Re: help-default-arg-highlight, Juanma Barranquero, 2004/05/31
- Re: help-default-arg-highlight, Kenichi Handa, 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, Miles Bader, 2004/05/31
- Re: help-default-arg-highlight, Juanma Barranquero, 2004/05/31
- Re: help-default-arg-highlight,
Miles Bader <=