tool


Description:

public DeviceTool tool { get; }

The `GdkDeviceTool` that is currently used with this device.