get_device_tool


Description:

public unowned DeviceTool? get_device_tool ()

Retrieves the current tool for this.

Parameters:

this

a `GdkDevice`

Returns:

the `GdkDeviceTool`




2022 vala-language.org