<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
Hi,<br>
<br>
I find this function very useful, so I suggest that it be included.<br>
<br>
(defun slime-toggle-connection ()<br>
"Change current slime connection, and make it buffer local"<br>
(interactive)<br>
(setf slime-net-processes (rotate-list slime-net-processes))<br>
(let ((p (car slime-net-processes)))<br>
(make-local-variable 'slime-default-connection) ;; To have
different files with different lisps<br>
(slime-select-connection p)<br>
(slime-set-state (format "(%s)" (slime-connection-name p)) p)<br>
(message "Lisp: %s, buffer: %s" (process-contact p)
(slime-connection-name p))))<br>
<br>
And, I have bound these keys:<br>
(define-key slime-mode-map [f12] 'slime-toggle-connection)<br>
(define-key slime-mode-map [f11] 'slime-goto-current-connection)<br>
<br>
<br>
<div class="moz-signature">-- <br>
<title>FreeCode Signature</title>
<meta http-equiv="Content-Type" content="text/html; ">
<style type="text/css">
body {
font-family: Helvetica, Verdana, "Tahoma MS", Arial, Sans-Serif;
color: black;
font-size: 11pt;
}
.name {
color: #072669;
font-weight: bold;
}
.pos {
color: #cd071e;
font-weight: bold;
}
.cat {
color: #cd071e;
font-size: 10pt;
font-weight: normal;
}
.val {
color: #072669;
font-weight: normal;
}
.quote {
color: gray;
font-size: 9pt;
font-weight: normal;
}
</style>
<span class="name">Free Software Consultant</span><br>
<span class="val">Cell:</span> <span class="val">+47 - 47 34 40 08</span><br>
<span class="val">Phone:</span> <span class="val">+47 - 21 53 69 00, </span><span
class="val">Fax:</span> <span class="val">+47 - 21 53 69 09</span><br>
<span class="val">Addr:</span> <span class="val">Slemdalsveien 70, PB 1
Vinderen, 0319 Oslo</span><br>
<a href="http://www.freecode.no/" style="text-decoration: none;"><img
style="border: medium none ; padding: 7px 0px 0px;"
src="cid:part1.08000903.03070101@online.no" alt="" height="56"
width="370"></a><br>
<pre class="quote">
</pre>
</div>
</body>
</html>