EditorSessionSaver
fun EditorSessionSaver(extensions: Extension? = null, fields: Map<String, StateField<*>>? = null, onUpdate: (Transaction) -> Unit = {}): Saver<EditorSession, String>
Create a Saver for EditorSession that preserves the document and selection across configuration changes and process death.
Parameters
extensions
Extensions to apply when restoring.
fields
Map of name → StateField for custom fields to save/restore.
onUpdate
Optional callback invoked after each transaction.