GdkX11.x11_get_server_time

function x11_get_server_time(window: GdkX11.X11Window): Number(guint32) {
    // Gjs wrapper for gdk_x11_get_server_time()
}

Routine to get the current X server time stamp.

window: a Gdk.Window, used for communication with the server. The window must have GDK_PROPERTY_CHANGE_MASK in its events mask or a hang will result.
Returns: the time stamp.