On Thu, Jan 19, 2012 at 8:19 AM, Simon Schampijer <si...@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 _______________________________________________ Sugar-devel mailing list Sugar-devel@lists.sugarlabs.org http://lists.sugarlabs.org/listinfo/sugar-devel
