tool_removed

Description:

public signal void tool_removed (DeviceTool tool)

Emitted whenever a tool is no longer known to this seat.

Parameters:

tool

the just removed `GdkDeviceTool`