From 8028a5b24a8d57d21a61cd4dca557d39a0b9f312 Mon Sep 17 00:00:00 2001
From: Benjamin Otte <otte@redhat.com>
Date: Fri, 15 Feb 2013 22:26:45 +0100
Subject: [PATCH] x11: Use gdk_display_flush()

---
 gdk/x11/xsettings-client.c | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/gdk/x11/xsettings-client.c b/gdk/x11/xsettings-client.c
index 5edeb4662..c5f4bcac2 100644
--- a/gdk/x11/xsettings-client.c
+++ b/gdk/x11/xsettings-client.c
@@ -407,10 +407,14 @@ gdk_xsettings_watch (Window     window,
 static void
 check_manager_window (XSettingsClient *client)
 {
+  GdkDisplay *display;
+
+  display = gdk_screen_get_display (client->screen);
+
   if (client->manager_window)
     gdk_xsettings_watch (client->manager_window, False, client->screen);
 
-  gdk_x11_display_grab (gdk_screen_get_display (client->screen));
+  gdk_x11_display_grab (display);
 
   client->manager_window = XGetSelectionOwner (client->display,
 					       client->selection_atom);
@@ -418,9 +422,9 @@ check_manager_window (XSettingsClient *client)
     XSelectInput (client->display, client->manager_window,
 		  PropertyChangeMask | StructureNotifyMask);
 
-  gdk_x11_display_ungrab (gdk_screen_get_display (client->screen));
+  gdk_x11_display_ungrab (display);
   
-  XFlush (client->display);
+  gdk_display_flush (display);
 
   if (client->manager_window)
     {
-- 
2.43.2