GdkEventProximity.device

the master device that the event originated from. Use Event.getSourceDevice to get the slave device.

struct GdkEventProximity
GdkDevice* device;