37
37
public void update_position(int32 new_position)
39
39
this.property_set_int(MENUITEM_POSITION, new_position);
43
42
public static HashSet<string> attributes_format()
45
44
HashSet<string> attrs = new HashSet<string>();
46
45
attrs.add(MENUITEM_DURATION);
47
46
attrs.add(MENUITEM_POSITION);