get_server_time


Description:

public uint32 get_server_time (Window window)

Routine to get the current X server time stamp.

Parameters:

window

a 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.


Namespace: Gdk.X11
Package: gdk-x11-3.0