Re: master 61a312ba0c: Update last event time during DND operations

[Eli Zaretskii]

> +DEFUN ("x-display-set-last-user-time", Fx_display_last_user_time,
> +       Sx_display_set_last_user_time, 1, 2, 0,
> +       doc: /* Set the last user time of TERMINAL to TIME-OBJECT.
> +TIME-OBJECT is the X server time, in milliseconds, of the last user
> +interaction.  This is the timestamp that `x-get-selection-internal'
> +will use by default to fetch selection data.
> +TERMINAL is the terminal on which the user interaction occurred.  */)

This doesn't tell the details about what object could TERMINAL be,
like the other callers of check_x_display_info do.  Is this
intentional? doesn't this function support all the possible types of
TERMINAL argument the other callers do?