Eigenschaftenübersicht des History Manager
| Name | Beschreibung |
|---|---|
| saveDelay | Legt das Zeitintervall (in ms) für das Speichern des aktuellen Zustands fest |
| Name | Beschreibung |
|---|---|
| saveDelay | Legt das Zeitintervall (in ms) für das Speichern des aktuellen Zustands fest |