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 remove(GeoElementInterface geo) {
   remove((GeoElement) geo);
 }