Hopefully fixed focus problems when handling a global hotkey on X11. See this thread for details: https://bugzilla.mozilla.org/show_bug.cgi?id=578265
diff --git a/src/video/x11/SDL_x11events.c b/src/video/x11/SDL_x11events.c
index afee234..f7090dd 100644
--- a/src/video/x11/SDL_x11events.c
+++ b/src/video/x11/SDL_x11events.c
@@ -408,6 +408,13 @@ X11_DispatchEvent(_THIS)
/* Losing input focus? */
case FocusOut:{
+ if (xevent.xfocus.mode == NotifyGrab) {
+ /* Someone is handling a global hotkey, ignore it */
+#ifdef DEBUG_XEVENTS
+ printf("window %p: FocusOut (NotifyGrab, ignoring)\n", data);
+#endif
+ break;
+ }
if (xevent.xfocus.detail == NotifyInferior) {
/* We still have focus if a child gets focus */
#ifdef DEBUG_XEVENTS