set_user_time


Description:

public static void set_user_time (Window window, uint32 timestamp)