reset_launch_ui


Description:

public void reset_launch_ui ()

Reset the "launch-ui" setting

Parameters:

this

a Settings instance