Returns the time stamp from event, if there is one; otherwise returns GDK_CURRENT_TIME If event is NULL, returns GDK_CURRENT_TIME
time stamp field from event
Returns the time stamp from event, if there is one; otherwise returns GDK_CURRENT_TIME If event is NULL, returns GDK_CURRENT_TIME