Window: fixup of wrong conversion introduced by pygi-convert.sh

With 820efa56b9
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 <simon@laptop.org>
Acked-by: Daniel Drake <dsd@laptop.org>

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):