tool_removed

Description:

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

This signal is emitted whenever a tool is no longer known to this seat.

tool	the just removed DeviceTool