(editor: EditorWrapper)
| 78 | } |
| 79 | |
| 80 | export async function readPersistedState(editor: EditorWrapper) { |
| 81 | await migrateToNewFormat(); |
| 82 | await garbageCollectDocuments(); |
| 83 | |
| 84 | const state = await databaseGet<PersistedState>("state"); |
| 85 | if (!state) return; |
| 86 | editor.loadPersistedState(state); |
| 87 | } |
| 88 | |
| 89 | export async function saveEditorPreferences(preferences: unknown) { |
| 90 | await databaseSet("preferences", preferences); |
no test coverage detected