[ Version ( since = "2.6" ) ]
public void set_user_time (uint32 timestamp)
The application can use this call to update the _NET_WM_USER_TIME property on a toplevel window.
This property stores an Xserver time which represents the time of the last user input event received for this window. This property may be used by the window manager to alter the focus, stacking, and/or placement behavior of windows when they are mapped depending on whether the new window was created by a user action or is a "pop-up" window activated by a timer or some other event.
Note that this property is automatically updated by GDK, so this function should only be used by applications which handle input events bypassing GDK.
| this |
A toplevel Window |
| timestamp |
An XServer timestamp to which the property should be set |