[slime-devel] Re: default connections
Stas Boukarev
stassats at gmail.com
Mon Sep 15 23:35:10 UTC 2008
On Wed, Sep 10, 2008 at 7:17 PM, Stas Boukarev <stassats at gmail.com> wrote:
> It would be better for the remaining connection to become default when
> I quit the default one.
I don't know what is better: use the previous connection or use the
connection if it is the only remained. The attached patch is doing the
former.
--
With Best Regards, Stas.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: slime.patch
Type: application/octet-stream
Size: 687 bytes
Desc: not available
URL: <https://mailman.common-lisp.net/pipermail/slime-devel/attachments/20080916/0975bf28/attachment.obj>
More information about the slime-devel
mailing list