set_desktop_id


Description:

[ Version ( since = "1.6" ) ]
public void set_desktop_id (string desktop_id)

This function is used to pass the calling application's desktop file ID to the external installer process.

A desktop file ID is the basename of the desktop file, including the .desktop extension.

If set, the desktop file ID will be passed to the installer via a --desktop-id= command line option.

Parameters:

this

a InstallPluginsContext

desktop_id

the desktop file ID of the calling application




2022 vala-language.org