tool_changed

Description:

public signal void tool_changed (DeviceTool tool)

Emitted on pen/eraser devices whenever tools enter or leave proximity.

Parameters:

tool

The new current tool