Programmeinstellungen
Einstellungen, die den Designer und nicht das aktuell geladene Projekt betreffen, sind über die Programmeinstellungen zu erreichen. Dafür muss im Designer auf das Menü Datei und anschließend auf Einstellungen geklickt werden. Der sich öffnende Dialog ist eingeteilt in verschiedene Kategorien, wie Oberfläche und Export:
Eigenschaften
| Kategorie | Option | Typ | Erklärung |
|---|---|---|---|
| Umgebung | Gitter anzeigen | Ja / Nein | Gibt an, ob ein Gitter im Hintergrund des Workflow-Editors angezeigt wird. |
| Export | Nachkommastellen | Ganzzahl | Gibt an, an welcher Nachkommastelle eine Version bei einer Änderung inkrementiert wird. |