Remove *_set_extension_events() and old API to query devices.
The old functions to get core pointer and devices list are gone as well. This slice is entirely replaced internally by multidevice handling and may just go.
gdk/gdkinput.h
deleted
100644 → 0
gdk/x11/gdkinput.c
deleted
100644 → 0