get_device_id
Description:
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. |
Retrieves the events device id if set.
| this |
a clutter event |
|
A unique identifier for the device or -1 if the event has no specific device set. |