get_device_tool


Description:

public unowned DeviceTool? get_device_tool ()

Returns a `GdkDeviceTool` representing the tool that caused the event.

If the was not generated by a device that supports different tools (such as a tablet), this function will return null.

Note: the `GdkDeviceTool` will be constant during the application lifetime, if settings must be stored persistently across runs, see [ [email protected]_serial].

Parameters:

this

a `GdkEvent`

Returns:

The current device tool




2022 vala-language.org