Gdk.Device.tool_changed – gtk4 Reference Manual
tool_changed
Description:
public
signal
void
tool_changed
(
DeviceTool
tool)
Emitted on pen/eraser devices whenever tools enter or leave proximity.
Parameters:
tool
The new current tool
2022 vala-language.org