GdkEvent::get_time

int get_time();

Returns the time stamp from the event, if there is one; otherwise returns 0.