[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: |
Fri, 04 Jun 2004 11:52:11 +0900 |
Juanma Barranquero <address@hidden> writes:
>> but if `face-differs-from-default-p' actually works reliably -- which it
>> should with the changes I proposed --
>
> Yes. As soon as you install your face-differs-from-default-p ("New!! And
> Improved!!"
> :) I'll commit the attached patch and update etc/NEWS.
No-one objected, so I've installed my change to `face-differs-from-default-p'
(and a related change do `display-supports-face-attributes-p').
Have at it.
-Miles
--
`Life is a boundless sea of bitterness'
- 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 <=
- 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
- Re: help-default-arg-highlight, Miles Bader, 2004/06/04