Editor

Der Editor ist eine kleine Oberfläche zur gezielten und sicheren Anpassung von Daten innerhalb der appsettings.json. Diese Oberfläche ermöglicht das Anpassen von Werten mit unterstützten Datentypen. Es existieren insgesamt vier verschiede Datentypen, die zurzeit ausgewählt werden können: String, Integer/Float, Boolean und DateTime. 

In den folgenden Abschnitten werden die Oberfläche und ihre Editiermöglichkeiten näher erläutert.

Hauptsteuerelemente

Die Hauptsteuerelemente sind zwei Button und eine Menüleiste, die weitere vier Button aufweist.

Während die Button in der Menüleiste zur Auswahl des Datentyps dienen, der der Wert aufweisen soll, werden die anderen beiden Button OK (5) und Cancel (6) dafür verwendet, entweder die Änderungen anzunehmen (OK) oder den Vorgang abzubrechen (Cancel).

Im Folgenden werden die Editiermodi näher beschrieben.

String-Editor

Der String-Editor wird durch das Auswählen des ersten Buttons in der Menüleiste aufgerufen.