get_device_id


Description:

public int get_device_id ()

Retrieves the events device id if set.

Parameters:

this

a clutter event

Returns:

A unique identifier for the device or -1 if the event has no specific device set.




2022 vala-language.org