deleted old minibuffer menu code