From afbf0ff326018d3c1211d5efe28efbe202a53b55 Mon Sep 17 00:00:00 2001 From: Simon Schampijer Date: Thu, 19 Jan 2012 15:14:53 +0100 Subject: [PATCH] Window: fixup of wrong conversion introduced by pygi-convert.sh With 820efa56b9876bb418bc51d30de959775930e35c gtk.gdk.x11_get_server_time(window) wasn't correctly converted to GdkX11.x11_get_server_time(window). Found when tesing collaboration. Opened 669264 for the upstream fix of pygi-convert.sh. Signed-off-by: Simon Schampijer Acked-by: Daniel Drake --- src/sugar3/graphics/window.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sugar3/graphics/window.py b/src/sugar3/graphics/window.py index d7753e0b..2d9764d7 100644 --- a/src/sugar3/graphics/window.py +++ b/src/sugar3/graphics/window.py @@ -131,7 +131,7 @@ class Window(Gtk.Window): return timestamp = Gtk.get_current_event_time() if not timestamp: - timestamp = GdkX11.get_server_time(window) + timestamp = GdkX11.x11_get_server_time(window) window.focus(timestamp) def fullscreen(self):