[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new *Help* argument highlighting
From: |
Kevin Rodgers |
Subject: |
Re: new *Help* argument highlighting |
Date: |
Tue, 11 May 2004 10:51:47 -0600 |
User-agent: |
Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:0.9.4.1) Gecko/20020406 Netscape6/6.2.2 |
Juanma Barranquero wrote:
> On Mon, 10 May 2004 13:54:11 -0400, Richard Stallman <address@hidden> wrote:
>>Yes, it would be good to downcase them in the Help buffer as well as
>>italicizing them.
>
> That's a one-line patch, and the effect is nice, and scarcely intrusive.
> However, it has the problem that if someone customizes
> help-argument-face to the default face, he's lost also the uppercase, so
> now arguments do not stand out at all.
>
> To solve that, we'd have do something like:
>
> (defvar help-arg-highlighting-function
> #'(lambda (arg) (propertize (downcase arg) 'face '(:slant italic)))
> "Function to call to highlight argument names in `describe-function' *Help*
buffers.")
>
> instead of having a help-argument-name face.
No, you just need to check (face-differs-from-default-p
'help-argument-name) before downcasing the argument.
--
Kevin Rodgers
- Re: new *Help* argument highlighting, (continued)
- Re: new *Help* argument highlighting, Richard Stallman, 2004/05/12
- Re: new *Help* argument highlighting, Stefan Monnier, 2004/05/12
- Re: new *Help* argument highlighting, Miles Bader, 2004/05/12
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/12
- Re: new *Help* argument highlighting, Stefan Monnier, 2004/05/12
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/13
- Re: new *Help* argument highlighting, Stefan Monnier, 2004/05/13
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/13
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/12
- Re: new *Help* argument highlighting, Richard Stallman, 2004/05/14
- Re: new *Help* argument highlighting,
Kevin Rodgers <=
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/11
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/11
- Re: new *Help* argument highlighting, Romain Francoise, 2004/05/12
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/12
- Re: new *Help* argument highlighting, Romain Francoise, 2004/05/13