tool_changed


Description:

public signal void tool_changed (DeviceTool tool)

The tool_changed signal is emitted on pen/eraser Devices whenever tools enter or leave proximity.

Parameters:

tool

The new current tool