set_options


Description:

public void set_options (string[] new_options)