get_server_time
Description:
[ CCode ( cname = "gdk_x11_get_server_time" ) ]
[ Version ( deprecated = true , deprecated_since = "4.18" ) ]
public uint32 get_server_time ()
[ Version ( deprecated = true , deprecated_since = "4.18" ) ]
public uint32 get_server_time ()
Warning: get_server_time is deprecated since 4.18.
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 |