[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: suggested new command `picture-mouse-set-point'
From: |
Stefan Monnier |
Subject: |
Re: suggested new command `picture-mouse-set-point' |
Date: |
Thu, 24 Oct 2002 19:37:53 -0400 |
> > One problem with this approach is that quite often you just need to
> > click on some window to select another window or give focus to a frame
> > -- and in that case you most likely don't want to modify the buffer if
> > you accidentally click or a TAB or after EOL or EOB.
> >
> > Maybe the -rigidly functionality should only be activated if
> > the mouse is clicked in the selected window & frame.
>
> I agree that is a problem, and your solution sounds good (or at least
> the right sort of idea; I haven't tested it).
I don't understand: this problem is not specific to this
mouse-set-point-rigidly. Normally it is solved in a generic way
by the window-manager by making sure that the click that changes
focus is not sent to the application.
Am I missing something ?
Stefan
- suggested new command `picture-mouse-set-point', John Paul Wallington, 2002/10/23
- Re: suggested new command `picture-mouse-set-point', Kim F. Storm, 2002/10/23
- 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 <=
- 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, 2002/10/26
- 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