Re: [slime-devel] is there a way to suppress polling in the minibuffer?