[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: suggested new command `picture-mouse-set-point'
|
From: |
John Paul Wallington |
|
Subject: |
Re: suggested new command `picture-mouse-set-point' |
|
Date: |
Fri, 25 Oct 2002 00:21:49 +0100 |
> It is a good idea. Would you like to install it?
It may be good enough for `picture-mode', but Kim's code is nicer and
more general. Do you think a general, well-integrated
`mouse-set-point-rigidly' would be a good idea?
--
John Paul Wallington
- Re: suggested new command `picture-mouse-set-point', (continued)
- 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
- Re: suggested new command `picture-mouse-set-point', Juanma Barranquero, 2002/10/30
- Re: suggested new command `picture-mouse-set-point', Richard Stallman, 2002/10/26
Re: suggested new command `picture-mouse-set-point', Richard Stallman, 2002/10/25
Re: suggested new command `picture-mouse-set-point', Richard Stallman, 2002/10/24
- Re: suggested new command `picture-mouse-set-point',
John Paul Wallington <=
Re: suggested new command `picture-mouse-set-point', Kim F. Storm, 2002/10/30