From 8301acd4d65b6d97c32b0adab7af46180ea21d53 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Mon, 11 Mar 2013 17:24:52 -0400
Subject: [PATCH] grabHelper: Use a round trip for focusing the default window

We may release the focus grab at any time, so it's not guaranteed
we'll be in event processing. In particular, hovering over and out
of a notification will cause this to happen, as the notification
is hidden on a timeout.

https://bugzilla.gnome.org/show_bug.cgi?id=695659
---
 js/ui/grabHelper.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index 1543c14cd..2547da679 100644
--- a/js/ui/grabHelper.js
+++ b/js/ui/grabHelper.js
@@ -248,7 +248,7 @@ const GrabHelper = new Lang.Class({
                 global.set_stage_input_mode(Shell.StageInputMode.FOCUSED);
         }
 
-        global.screen.focus_default_window(global.get_current_time());
+        global.screen.focus_default_window(global.display.get_current_time_roundtrip());
     },
 
     // ignoreRelease: