[slime-devel] Semantic of slime-repl-quit command

David Vazquez davazp at es.gnu.org
Fri May 22 11:40:56 UTC 2009


Harald Hanche-Olsen <hanche at math.ntnu.no> writes:

>> You should use ,disconnect. Though, currently it disconnects all
>> connections,
>
> I've been using this code since November 2005:
>
> (defun slime-close-connection ()
>   "Close slime connection, kill the associated buffers."
>   (interactive)
>   (kill-buffer (slime-output-buffer))
>   (slime-net-close (slime-connection)))
> (defslime-repl-shortcut slime-repl-close ("close")
>   (:handler 'slime-close-connection)
>   (:one-liner "Close the current connection."))
>

Great. I will use something like slime-close-connection. By the way,
the disconnect command does not appear in the manual.

Thanks




More information about the slime-devel mailing list