/** 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();
}
/** 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();
}
