[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: suggested new command `picture-mouse-set-point'
From: |
Kai Großjohann |
Subject: |
Re: suggested new command `picture-mouse-set-point' |
Date: |
Sat, 26 Oct 2002 14:34:11 +0200 |
User-agent: |
Gnus/5.090008 (Oort Gnus v0.08) Emacs/21.3.50 (i686-pc-linux-gnu) |
"Stefan Monnier" <monnier+gnu/address@hidden> writes:
> Indeed, in general it is harmless to left-click in a window,
> so Emacs doesn't need to be careful to turn the click event
> into a window-switch event only. So we should indeed probably
> be careful to preserve the harmlessness of left-clicking, unless
> we decide to start doing what window-managers do and turn those
> clicks into window-switch events, but users might be annoyed by it.
Actually, now that I think about it... I've been inconvenienced (is
that a sufficiently weak term?) slightly (just to be on the safe side)
by this often enough that I now hit F2 F2 (my personal binding for
other-window) instead of clicking with the mouse just to avoid
positioning point.
So a user option to prevent point moving when switching windows with
the mouse would be cool.
(The modeline also does this, but it's a bit hard to hit.)
kai
--
~/.signature is: umop ap!sdn (Frank Nobis)
- Re: suggested new command `picture-mouse-set-point', (continued)
- Re: suggested new command `picture-mouse-set-point', John Paul Wallington, 2002/10/24
- Re: suggested new command `picture-mouse-set-point', Kim F. Storm, 2002/10/24
- Re: suggested new command `picture-mouse-set-point', John Paul Wallington, 2002/10/24
- Re: suggested new command `picture-mouse-set-point', Stefan Monnier, 2002/10/24
- Re: suggested new command `picture-mouse-set-point', John Paul Wallington, 2002/10/24
- Re: suggested new command `picture-mouse-set-point', Stefan Monnier, 2002/10/25
- Re: suggested new command `picture-mouse-set-point', John Paul Wallington, 2002/10/25
- Re: suggested new command `picture-mouse-set-point', Kevin Ryde, 2002/10/25
- Re: suggested new command `picture-mouse-set-point', Kim F. Storm, 2002/10/25
- Re: suggested new command `picture-mouse-set-point', Stefan Monnier, 2002/10/25
- Re: suggested new command `picture-mouse-set-point',
Kai Großjohann <=
- Re: suggested new command `picture-mouse-set-point', Richard Stallman, 2002/10/26
- Re: suggested new command `picture-mouse-set-point', Juanma Barranquero, 2002/10/28
- Re: suggested new command `picture-mouse-set-point', Eli Zaretskii, 2002/10/28
- Re: suggested new command `picture-mouse-set-point', Juanma Barranquero, 2002/10/29
- Re: suggested new command `picture-mouse-set-point', Eli Zaretskii, 2002/10/29
- Re: suggested new command `picture-mouse-set-point', Richard Stallman, 2002/10/28
- Re: suggested new command `picture-mouse-set-point', Juanma Barranquero, 2002/10/28
- Re: suggested new command `picture-mouse-set-point', Richard Stallman, 2002/10/28
- Re: suggested new command `picture-mouse-set-point', Juanma Barranquero, 2002/10/29
- Re: suggested new command `picture-mouse-set-point', Richard Stallman, 2002/10/30