[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 18:51:18 +0100

On Wed, 30 Oct 2002 12:18:04 -0500, Richard Stallman <address@hidden> wrote:

> A warning is better.

OK. Next monday I'll rework the patch and install it.


reply via email to

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