Re: [slime-devel] Shortcuts disappearing?!