17 Sep
2008
17 Sep
'08
8:41 a.m.
* Stas Boukarev [2008-09-16 01:35+0200] writes:
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.
I added a customizable variable, slime-auto-select-connection. The default is to ask if the connection should be switched. If you set the variable to 'always the first connection will be used.
Helmut.