[slime-devel] slime-space

Begin forwarded message:
From: David Reitter <david.reitter@gmail.com> Date: 13 December 2008 13:49:52 EST To: Helmut Eller <eller.helmut@gmail.com> Subject: slime-space
Helmut, can I suggest the patch below? * Declare `slime-space' to `delete-selection-mode' and friends (CUA) so that their behavior is the same as with normal insertion of a space. - D *** slime.el 09 Dec 2008 02:48:20 -0500 1.1075 --- slime.el 13 Dec 2008 13:47:53 -0500 *************** *** 4946,4951 **** --- 4946,4952 ---- (when (and slime-space-information-p (slime-background-activities-enabled-p)) (slime-echo-arglist))) + (put 'slime-space 'delete-selection t) (defvar slime-echo-arglist-function 'slime-show-arglist)

* David Reitter [2009-01-09 20:22+0100] writes:
Begin forwarded message:
From: David Reitter <david.reitter@gmail.com> Date: 13 December 2008 13:49:52 EST To: Helmut Eller <eller.helmut@gmail.com> Subject: slime-space
Helmut,
can I suggest the patch below?
Committed now. I had that in the other mailbox and forgot about it. Helmut.
participants (2)
-
David Reitter
-
Helmut Eller