x11_get_server_time


Description:


public uint32 x11_get_server_time (Window window)

Routine to get the current X server time stamp.

Parameters:

surface

a `GdkSurface`, used for communication with the server. The surface must have `GDK_PROPERTY_CHANGE_MASK` in its events mask or a hang will result.

Returns:

the time stamp


Namespace: Gdk
Package: gdk-x11-2.0