[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: |
Mon, 28 Oct 2002 22:01:58 -0500 |
> * Get some major packages installed: W3/url (development version needs
> significant work), PSGML, Mule-UCS, Tramp (?).
Tramp should be taken out of the list, shouldn't?
Thanks.
> * Highlight rectangles (`mouse-track-rectangle-p' in XEmacs).
Already done by CUA, more or less.
This feature is worth making more general.
> * Re-implement emacs-server in lisp as an internal server using
> make-network-process instead of using an external program.
Wasn't that done already?
Yes, it has been. Thanks.
> * Rewrite make-docfile to something sane.
What does that mean? In which sense is make-docfile insane?
It would be good if that were a cleaner program.
- Re: suggested new command `picture-mouse-set-point', (continued)
- Re: suggested new command `picture-mouse-set-point', John Paul Wallington, 2002/10/25
- Re: suggested new command `picture-mouse-set-point', Kevin Ryde, 2002/10/25
- Re: suggested new command `picture-mouse-set-point', Kim F. Storm, 2002/10/25
- Re: suggested new command `picture-mouse-set-point', Stefan Monnier, 2002/10/25
- Re: suggested new command `picture-mouse-set-point', Kai Großjohann, 2002/10/26
- Re: suggested new command `picture-mouse-set-point', Richard Stallman, 2002/10/26
- Re: suggested new command `picture-mouse-set-point', Juanma Barranquero, 2002/10/28
- Re: suggested new command `picture-mouse-set-point', Eli Zaretskii, 2002/10/28
- Re: suggested new command `picture-mouse-set-point', Juanma Barranquero, 2002/10/29
- Re: suggested new command `picture-mouse-set-point', Eli Zaretskii, 2002/10/29
- Re: suggested new command `picture-mouse-set-point',
Richard Stallman <=
- 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