[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'

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).

reply via email to

[Prev in Thread] Current Thread [Next in Thread]