[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Customize fringe
From: |
Eli Zaretskii |
Subject: |
Re: Customize fringe |
Date: |
Fri, 10 May 2002 15:17:47 +0300 |
> From: "Robert J. Chassell" <address@hidden>
> Date: Fri, 10 May 2002 10:44:27 +0000 (UTC)
>
> * if I toggle mouse-avoidance-mode, I expect the mouse appear or go
> away, as the documentation says;
The documentation of mouse-avoidance-mode says:
Set cursor avoidance mode to MODE.
MODE should be one of the symbols `banish', `exile', `jump', `animate',
`cat-and-mouse', `proteus', or `none'.
If MODE is nil, toggle mouse avoidance between `none' and `banish'
modes.
So it's not a simple toggle. Interactively, it prompts you for the
avoidance mode; that is not what a simple toggle is expected to do.
There are some *-mode functions that are simple on/off toggles, but
that's not universally true.
> Hence, if the goal is to encourage people to use fringes of some
> width, be the width large or small, on one side or two, in those
> circumstances where fringes make sense, then reduced-fringe-mode is a
> better name.
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).
- Re: Customize fringe, (continued)
- Re: Customize fringe, Simon Josefsson, 2002/05/09
- Re: Customize fringe, Miles Bader, 2002/05/09
- 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 <=
- Re: Customize fringe, Robert J. Chassell, 2002/05/10
- Re: Customize fringe, Miles Bader, 2002/05/12
- 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