override_option_default


Description:

public void override_option_default (string key, string value)

Overrides default value for the option key.

This can be used to set value for a startup-only option.

You can use this before booting the core.

Parameters:

this

a Core

key

the key of the option

value

the default value