emitToolRemoved

Emits the "tool-removed" signal. See onToolRemoved.

Parameters

tool

the just removed GdkDeviceTool