Re: question about ediff menus