[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 17:19:42 +0900 |
Juanma Barranquero <address@hidden> writes:
> Yeah, but it would require adding `supports' to defface. That's a new
> feature, so a no-no right now.
defface already supports `supports', and the customize-face widget
supports the `supports' support.
:-|
-Miles
--
97% of everything is grunge
- help-default-arg-highlight, Glenn Morris, 2004/05/25
- 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