{
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;
var t = a.get_object_element(i);
ret.add(new RooOption(
t.get_string_member("id"),
+ t.get_string_member("name"),
t.get_string_member("display_name")
));
}