get_user_time


Description:

public uint32 get_user_time ()

Returns the timestamp of the last user interaction on this.

The timestamp is taken from events caused by user interaction such as key presses or pointer movements. See set_user_time.

Parameters:

this

a `GdkDisplay`

Returns:

the timestamp of the last user interaction