Exemplo n.º 1
0
  /** Returns XML representation of all settings WITHOUT construction. */
  public String getPreferencesXML() {
    StringBuilder sb = new StringBuilder();
    addXMLHeader(sb);
    addGeoGebraHeader(sb, false, null);
    // sb.append("<?xml version=\"1.0\" encoding=\"utf-8\"?>\n");
    // sb.append("<geogebra format=\"" + GeoGebra.XML_FILE_FORMAT
    //				+ "\">\n");

    // save gui settings
    sb.append(app.getCompleteUserInterfaceXML(true));

    sb.append("</geogebra>");
    return sb.toString();
  }
Exemplo n.º 2
0
  /** Returns XML representation of all settings and construction. GeoGebra File Format. */
  public String getFullXML() {
    StringBuilder sb = new StringBuilder();
    addXMLHeader(sb);
    addGeoGebraHeader(sb, false, app.getUniqueId());
    // sb.append("<?xml version=\"1.0\" encoding=\"utf-8\"?>\n");
    // sb.append("<geogebra format=\"" + GeoGebra.XML_FILE_FORMAT + "\"");
    // sb.append(" xsi:noNamespaceSchemaLocation=\"http://www.geogebra.org/");
    // sb.append(GeoGebra.GGB_XSD_FILENAME); //eg	ggb.xsd
    // sb.append("\" xmlns=\"\" xmlns:xsi=\"http://www.w3.org/2001/XMLSchema-instance\" >\n");

    // save gui settings
    sb.append(app.getCompleteUserInterfaceXML(false));

    // save construction
    cons.getConstructionXML(sb);

    sb.append("</geogebra>");
    return sb.toString();
  }