${lead}
Möchte man einen externen Editor verwenden, lässt sich der interne ausschalten. Im Anschluss erscheint eine Oberfläche zum Verwalten von Laufzeitumgebungen und Validieren von Anwendungen