var ret = new Gee.ArrayList<RooOption>();
for(var i = 0; i < a.get_length(); i++) {
var t = a.get_object_element(i);
- ret += new RooOption(
+ ret.add(new RooOption(
t.get_string_member("id"),
t.get_string_member("display_name")
- );
+ ));
}
return ret;