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 Display

Returns:

the timestamp of the last user interaction