[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: |
Mon, 31 May 2004 12:19:53 +0200 |
On Mon, 31 May 2004 17:14:14 +0900
Miles Bader <address@hidden> wrote:
> 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?
Juanma
- Re: help-default-arg-highlight, (continued)
- 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 <=
- Re: help-default-arg-highlight, Miles Bader, 2004/05/31