|
| 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?
| [Prev in Thread] | Current Thread | [Next in Thread] |