Gdk.AppLaunchContext.set_timestamp Reference Manual
Gdk.AppLaunchContext.set_timestamp:
Description:
public
void
set_timestamp (
uint
timestamp)
created by
valadoc