get_current_event_time
Description:
public uint32 get_current_event_time ()
If there is a current event and it has a timestamp, return that timestamp, otherwise return gdk_current_time.
Returns:
|
the timestamp from the current event, or gdk_current_time.
|