set_timestamp


Description:

public void set_timestamp (uint32 timestamp)

Sets the timestamp of this.

The timestamp should ideally be taken from the event that triggered the launch.

Window managers can use this information to avoid moving the focus to the newly launched application when the user is busy typing in another window. This is also known as 'focus stealing prevention'.

Parameters:

this

a `GdkAppLaunchContext`

timestamp

a timestamp