[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Customize fringe
From: |
Miles Bader |
Subject: |
Re: Customize fringe |
Date: |
13 May 2002 11:16:47 +0900 |
"Eli Zaretskii" <address@hidden> writes:
> I'm not sure. The ``reduction'' of the fringes sounds a lot like
> different styles, so perhaps set-fringe-style or some such would be a
> better name (assuiming that fringe-mode is deemed not a good idea).
I like that too. What would customization option be called? [I guess
`fringe-style' or something]
Anyway, the important point seems to be that it should prompt for a
style rather than simply toggling.
-Miles
--
80% of success is just showing up. --Woody Allen
- Re: Customize fringe, (continued)
- Re: Customize fringe, Simon Josefsson, 2002/05/09
- Re: Customize fringe, Miles Bader, 2002/05/09
- Re: Customize fringe, Eli Zaretskii, 2002/05/10
- Re: Customize fringe, Miles Bader, 2002/05/10
- Re: Customize fringe, Kim F. Storm, 2002/05/10
- Re: Customize fringe, Robert J. Chassell, 2002/05/10
- Re: Customize fringe, Robert J. Chassell, 2002/05/10
- Re: Customize fringe, Robert J. Chassell, 2002/05/10
- Re: Customize fringe, Eli Zaretskii, 2002/05/10
- Re: Customize fringe, Robert J. Chassell, 2002/05/10
- Re: Customize fringe,
Miles Bader <=
- Re: Customize fringe, Richard Stallman, 2002/05/11
- Re: Customize fringe, Simon Josefsson, 2002/05/11
Re: Customize fringe, Eli Zaretskii, 2002/05/09
- Re: Customize fringe, Stefan Monnier, 2002/05/09
- Re: Customize fringe, Simon Josefsson, 2002/05/09
- Re: Customize fringe, Stefan Monnier, 2002/05/09
- Re: Customize fringe, Simon Josefsson, 2002/05/09
- Re: Customize fringe, Simon Josefsson, 2002/05/09
- Re: Customize fringe, Pavel JanÃk, 2002/05/11
- Re: Customize fringe, Simon Josefsson, 2002/05/11