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