void set_option(string name, mixed new_value) void set_option(string name)
If no value is specified, the option is set to it's default value