Re: Minor menu glitch with ediff