gdk:device-has-cursor (object)

object -- a gdk:device object
has-cursor -- a boolean whether the device is represented by a cursor on the screen

The accessor for the has-cursor slot of the gdk:device class returns true if the pointer follows device motion.