Another, slightly more terse way of doing this is with `List.map`:

    savedMap['openedTabs'] = _openedEditorStates.map((s) => s.file.persistToToken());