If there is a current event and it has a timestamp, return that timestamp, otherwise return GDK_CURRENT_TIME.
the timestamp from the current event, or GDK_CURRENT_TIME.
If there is a current event and it has a timestamp, return that timestamp, otherwise return GDK_CURRENT_TIME.