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 [[email protected]: GdkSeat:tool-changed] signal accordingly.

A same tool may be used by several devices.

Parameters:

tool

the new `GdkDeviceTool` known to the seat




2022 vala-language.org