Routine to get the current X server time stamp.
a GdkWindow, used for communication with the server. The window must have GDK_PROPERTY_CHANGE_MASK in its events mask or a hang will result. [type GdkX11Window]
the time stamp.
See Implementation
Routine to get the current X server time stamp.