minibuffer.js: automatically hide minibuffer