/** renames an element and sorts list */ public void rename(GeoElement geo) { remove(geo); add(geo); }
public final void updateAuxiliaryObject(GeoElement geo) { remove(geo); add(geo); }
public void add(GeoElementInterface geo) { add((GeoElement) geo); }