Re: help-default-arg-highlight

[Miles Bader]

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'