Adjusting mini-buffer size in ido-mode