get_device_tool


Description:

public unowned DeviceTool? get_device_tool ()

Returns the `GdkDeviceTool` currently driving input through this gesture.

This function must be called from the handler of one of the [[email protected]:GtkGestureStylus:down], [ [email protected]:GtkGestureStylus:motion], [[email protected]:GtkGestureStylus:up] or [ [email protected]:GtkGestureStylus:proximity] signals.

Parameters:

this

a `GtkGestureStylus`

Returns:

The current stylus tool




2022 vala-language.org