Dieses Wiki wird Bemerkungen, Probleme und Lösungen zur Nutzung des gui-Editors jddd enthalten.