Gdk.EventKey.time Reference Manual
Gdk.EventKey.time:
Description:
public
uint
time
created by
valadoc