Re: Menus with more items than the TTY can display

[Eli Zaretskii]

> Date: Fri, 18 Oct 2013 09:56:10 +0200
> From: martin rudalics <address@hidden>
> CC: Eli Zaretskii <address@hidden>, emacs-devel <address@hidden>
> 
>  > FWIW I can also produce it on a gnome-terminal but not on a large-font
>  > xterm (on Ubuntu 13.04).
> 
> There's one peculiarity I didn't mention so far: On the xfce terminal
> the menu border is slightly ragged on the right.  More precisely, rows
> with items that are not available ("grayed out") have the last pixel
> missing on the right.  Can you see that on your menu?

I think this is unrelated: it's some bug in the terminal when bold
font is used (as the tty menu faces do for the selected item).