[ 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 |