9 Jan
2009
9 Jan
'09
8:22 p.m.
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)