Added ido stuff and minibuffer completion