[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: suggested new command `picture-mouse-set-point'

From: Richard Stallman
Subject: Re: suggested new command `picture-mouse-set-point'
Date: Sat, 26 Oct 2002 16:14:12 -0400

    Maybe we need a user-option expressing a general preference and a
    programmatic variable that can be programmatically bound or set after
    it is made a local-variable?

We don't actually *need* any change in this particular area.
Could people please turn attention to some of the changes
in etc/TODO that would make a real difference to users?
Or to fixing some of the more difficult real problems that we have?

reply via email to

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