[slime-devel] slime-space

[David Reitter]

Begin forwarded message:

> From: David Reitter <david.reitter at gmail.com>
> Date: 13 December 2008 13:49:52 EST
> To: Helmut Eller <eller.helmut at 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)