{
public string id; // not really important that they are numbers..
+ public string name;
public string display_name;
- public RooOption (string id, string name)
+ public RooOption (string id, string name, string display_name)
{
this.id = id;
this.display_name = name;