get_server_time


Description:

[ CCode ( cname = "gdk_x11_get_server_time" ) ]
public uint32 get_server_time ()

Routine to get the current X server time stamp.

Parameters:

surface

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