[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