[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: suggested new command `picture-mouse-set-point'
From: |
Juanma Barranquero |
Subject: |
Re: suggested new command `picture-mouse-set-point' |
Date: |
Wed, 30 Oct 2002 13:47:58 +0100 |
On Wed, 30 Oct 2002 11:55:06 +0000 (GMT), "Kim F. Storm" <address@hidden> wrote:
> Well, I would prefer -- now that it has found that modified buffer --
> if it would offer to insert that buffer's contents instead of the
> original file.
I think that's a good idea but, what do we do if there are several such
buffers?
/L/e/k/t/u
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', Kim F. Storm, 2002/10/30
- Re: suggested new command `picture-mouse-set-point',
Juanma Barranquero <=