Source position: lazgdk3.pas line 3070
procedure TGdkAppLaunchContext.set_timestamp(
timestamp: guint32
);