Gdk.X11Window.set_user_time – gdk-x11-3.0 Reference Manual
set_user_time
Description:
public
static
void
set_user_time
(
Window
window,
uint32
timestamp)
2022 vala-language.org