/**
  * Returns the definition of geo used to init the editor when editing is started.
  *
  * @param geo
  */
 public String getEditorInitString(GeoElement geo) {
   return geo.getRedefineString(true, false);
 }