[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new *Help* argument highlighting
From: |
Richard Stallman |
Subject: |
Re: new *Help* argument highlighting |
Date: |
Tue, 11 May 2004 08:23:17 -0400 |
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.
So he can customize two things instead of one. That is no big deal.
(Only a few people will customize this.)
- fill docstring (Re: new *Help* argument highlighting), (continued)
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/12
- Re: new *Help* argument highlighting, Kenichi Handa, 2004/05/12
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/12
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/11
- Re: new *Help* argument highlighting, Kenichi Handa, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/11
- Re: new *Help* argument highlighting,
Richard Stallman <=
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/11
- Re: new *Help* argument highlighting, David Kastrup, 2004/05/11
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/11
- 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