[PATCH] Improve actions popup experience

Submitted by Stefan Stuhr

Assigned to Nick Schermer

Created attachment 3495 Patch

The attached patch improves the actions popup menu (the menu that pops up when one right clicks on a window menu item) experience.

It adds the following:

<Shift>``<F10> can be used to pop up the actions menu.
When using keyboard to pop up the actions menu, don't hide the window menu.
When one uses keyboard to pop up the actions menu, the actions menu will be positioned in a nice way (no longer at the mouse pointer position).

It also fixes the following bug:

When using keyboard to activate a window menu item (thus switching to the corresponding window), the plugin button stays active (in other words: the menu doesn't get canceled).

Version: 4.7 (master)