168
171
core.setFlagGravityLabels(savedStates[stateName]["FlagGravityLabels"]);
169
172
core.setDiskViewport(savedStates[stateName]["DiskViewport"]);
170
173
core.setObserverLocation(savedStates[stateName]["ObserverLocation"]);
172
177
// optional restoration options...