set_launch_ui


Description:

public void set_launch_ui (string value)

Change the "launch-ui" setting

Parameters:

this

a Settings instance

value

the new keyboard shortcut