Re: How do I turn on ediff menus?