tool_added

Description:

public signal void tool_added (DeviceTool tool)

Emitted whenever a new tool is made known to the seat.

The tool may later be assigned to a device (i.e. on proximity with a tablet). The device will emit the [signal@Gdk.Device:GdkSeat:tool-changed] signal accordingly.

A same tool may be used by several devices.

Parameters:

tool	the new `GdkDeviceTool` known to the seat