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