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

[Stas Boukarev]

David Vazquez <davazp at es.gnu.org> writes:

> 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.
>
Manual at the webesite isn't current, go to slime/doc and compile
current docs.

-- 
With best regards, Stas.