[Sugar-devel] [PATCH sugar-toolkit-gtk3] Window: fixup of wrong conversion introduced by pygi-convert.sh

[Daniel Drake]

On Thu, Jan 19, 2012 at 8:19 AM, Simon Schampijer <simon at schampijer.de> wrote:
> With 820efa56b9876bb418bc51d30de959775930e35c
> gtk.gdk.x11_get_server_time(window) wasn't correctly converted
> to GdkX11.x11_get_server_time(window). Found when tesing
> collaboration.

Looks good, but please make some noise about this upstream and
reference the mail/bug URL in the commit message.
This indicates either a bug in pygi-convert, or a bug in the naming of
the introspected functions (having 'X11' twice in
GdkX11.x11_get_server_time feels wrong to me).

Thanks
Daniel