Re: New Context Menu

[Yuri Khan]

On Thu, 19 Aug 2021 at 22:49, Eli Zaretskii <eliz@gnu.org> wrote:

> It's okay to bind the <menu> key where it's available.  But many
> terminals don't have it, so we should _also_ bind it to some common
> enough key to make it available to everyone.

The canonical answer to “some keyboards do not have <menu>” in the
context of context menus has been Shift+F10 since 1995. But, of
course, Some Terminals™ do not have even that.