[slime-devel] [patch] Improvements to slime-selector window handling