public JSON.Element SaveState()
{
return(JSON.Element.NewObject(new Dictionary <string, JSON.Element>()
{
["travelState"] = JSON.Element.NewString(travelState.ToString()),
["currentPointIndex"] = JSON.Element.NewNumber(currentPointIndex),
}));
}