Ejemplo n.º 1
0
 /** renames an element and sorts list */
 public void rename(GeoElement geo) {
   remove(geo);
   add(geo);
 }
Ejemplo n.º 2
0
 public final void updateAuxiliaryObject(GeoElement geo) {
   remove(geo);
   add(geo);
 }
Ejemplo n.º 3
0
 public void add(GeoElementInterface geo) {
   add((GeoElement) geo);
 }