[gtk+] x11: Use gdk_display_flush()

[Benjamin Otte <otte src gnome org>]

commit 8028a5b24a8d57d21a61cd4dca557d39a0b9f312
Author: Benjamin Otte <otte redhat com>
Date:   Fri Feb 15 22:26:45 2013 +0100

    x11: Use gdk_display_flush()

 gdk/x11/xsettings-client.c |   10 +++++++---
 1 files changed, 7 insertions(+), 3 deletions(-)
---
diff --git a/gdk/x11/xsettings-client.c b/gdk/x11/xsettings-client.c
index 5edeb46..c5f4bca 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)
     {