Is gdk_device_get_device_tool() deprecated?
Commit fd9e0dd1 is confusing. The commit message says Deprecate GdkDevice:source, and that's what comments in gdkdevice.c also say.
gdk_device_get_device_tool() instead of gdk_device_get_source() is deprecated in gdkdevice.h. Is that a mistake?
If GdkDevice:source is deprecated, shouldn't G_PARAM_DEPRECATED be added in the call to g_param_spec_enum("source", ....)?