On Fri, Oct 18, 2013 at 1:11 AM, martin rudalics <rudalics@gmx.at> wrote:
>> But perhaps first it would be worthwhile to try using xterm on the
>> Debian box, and start "emacs -Q -nw" from that xterm.  That is
>> simpler, and should work like PuTTY does.
>
> In xterm menus work without problems.  The problem occurs only with the
> xfce terminal emulator.  And there it is related to the font size in the
> sense that choosing a large font size makes it appear earlier and more
> likely.

FWIW I can also produce it on a gnome-terminal but not on a large-font
xterm (on Ubuntu 13.04).

(However, the number of highlighted menu lines did not increase.)

-- 
Best regards, Xue Fuqiao.
http://www.gnu.org/software/emacs/