tool_added

Description:

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

The tool_added signal is emitted whenever a new tool is made known to the seat.

The tool may later be assigned to a device (i.e. on proximity with a tablet). The device will emit the tool_changed signal accordingly.

A same tool may be used by several devices.

tool	the new DeviceTool known to the seat