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.

 

Dieser ist gekennzeichnet durch zwei Textfelder, von denen die erste den Schlüssel; und somit nicht editierbar ist; und die zweite den Wert angibt. Dieser Wert kann angepasst werden und wird beim Klicken des OK-Buttons im Zeichenkettenformat überführt.

Integer / Float

Dieser Editor kann sowohl für ganze Zahlen als auch für Kommazahlen verwendet werden.