tool_changed


Description:

[ Version ( since = "3.22" ) ]
public signal void tool_changed (DeviceTool tool)

The tool_changed signal is emitted on pen/eraser Devices whenever tools enter or leave proximity.

Parameters:

tool

The new current tool




2022 vala-language.org