Gdk.X11Display.get_user_time – gdk-x11-3.0 Reference Manual
get_user_time
Description:
public
static
uint32
get_user_time
(
Display
display)
2022 vala-language.org