device property

int device
final

Unique identifier for the pointing device, reused across interactions.

Implementation

final int device;