not really a bug, but worth noting... (eclipse plugin spy shortcut Shift-Alt-F1 is masked by the Alt-F1 keybinding to the app finder)

[John Coppens]

On Mon, 6 May 2013 04:38:08 +0100
Tom Hodder <tom at limepepper.co.uk> wrote:

> The eclipse plugin spy shortcut Shift-Alt-F1 is masked by the Alt-F1
> keybinding to the app finder

... and Alt-Tab for Midnight commander is shadowed too,
... as is F10 to exit MC and other apps.

Is there really no way to find a solution to this? I tend to think that
the shortcuts of an active, focused application should override
global shortcuts. Easier said than done, probably.

John