mouse and sloppy focus defeat alt-tab
As described in https://bugzilla.gnome.org/show_bug.cgi?id=739718, when sloppy focus or focus-follows-mouse is enabled, the pointer defeats the effect of application switching with alt-tab
or alt-`
. This is a regression from Gnome 2 era, and has existed at least since Gnome 3.14.
Current functionality:
- pointer position determines focus
- keyboard shortcuts, used to switch focus, have a transient effect that is immediately overridden by pointer position
- This renders the keyboard shortcuts useless
Desired functionality:
- windows are focused by moving the mouse
- windows can also be focused by using keyboard shortcuts
- the mouse position should only re-focus when the pointer is moved sufficiently far to effect a change in focus