X11.windowSetUserTime

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. Since 2.6

class X11
static
void
windowSetUserTime

Parameters

window Window

A toplevel GdkWindow

timestamp uint

An XServer timestamp to which the property should be set

Meta