get_device_tool

Description:

public unowned DeviceTool? get_device_tool ()

Retrieves the current tool for this.

Parameters:

this

a `GdkDevice`

Returns:

the `GdkDeviceTool`