tool

open val tool: DeviceTool?

The GdkDeviceTool that is currently used with this device.