[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new *Help* argument highlighting
From: |
Miles Bader |
Subject: |
Re: new *Help* argument highlighting |
Date: |
Mon, 10 May 2004 18:26:21 -0400 |
User-agent: |
Mutt/1.3.28i |
On Tue, May 11, 2004 at 12:10:55AM +0200, Juanma Barranquero wrote:
> So we still have a problem with using lowercase italics as arg
> highlighting.
Still, it seems like a very nice way of presenting the arguments -- easy to
read, less SHOUTY than the old method, and more consistent with the printed
documentation[*]. I'd be happy if there was (as you suggested) a variable
holding a filter-function that help would call to munge the args, which by
default would downcase-and-italicize them.
Then change the docstring for the help-arguments face to say `you might want
to change this variable too'.
99.9% of the users won't ever change either one, so I think the nicer
display would be worth the small amount of added complexity for those who do
want to change something.
[*] Along the same lines, but probably more difficult: maybe the info reader
should do something similar ...?
-Miles
--
(\(\
(^.^)
(")")
*This is the cute bunny virus, please copy this into your sig so it can spread.
- Re: new *Help* argument highlighting, (continued)
- Re: new *Help* argument highlighting, Robert J. Chassell, 2004/05/11
- Re: new *Help* argument highlighting, Richard Stallman, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- Re: new *Help* argument highlighting, David Kastrup, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- Re: new *Help* argument highlighting, Stefan Monnier, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- Re: new *Help* argument highlighting, David Kastrup, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- Re: new *Help* argument highlighting,
Miles Bader <=
- 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, Miles Bader, 2004/05/12
- Re: new *Help* argument highlighting, Juanma Barranquero, 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, Richard Stallman, 2004/05/13
- Re: new *Help* argument highlighting, David Kastrup, 2004/05/13
- Re: new *Help* argument highlighting, Richard Stallman, 2004/05/13
- Re: new *Help* argument highlighting, Kenichi Handa, 2004/05/12