[slime-devel] Starting Slime via slime-selector

I've had the following for _ages_ in my local tree. Unless there are objections I'd prefer to merge it. In a nutshell: in the unlikely event of not having a running Slime when your fingers think for themselves and hit the slime-selector/r keys you are given the chance to start Slime then and there. Cheers, -- Nikodemus Schemer: "Buddha is small, clean, and serious." Lispnik: "Buddha is big, has hairy armpits, and laughs."

Nikodemus Siivola <nikodemus@random-state.net> writes:
I've had the following for _ages_ in my local tree. Unless there are objections I'd prefer to merge it.
In a nutshell: in the unlikely event of not having a running Slime when your fingers think for themselves and hit the slime-selector/r keys you are given the chance to start Slime then and there.
please, please, please commit this. -- -Marco Ring the bells that still can ring. Forget the perfect offering. There is a crack in everything. That's how the light gets in. -Leonard Cohen
participants (2)
-
Marco Baringer
-
Nikodemus Siivola