GTK3: gdk_device_get_source() output has been extended