I want to set the selection to empty when the editor is blurred。How should selection be dispatched (I searched the official documents and discuss and found nothing related)
extensions: [
drawSelection(),
EditorView.domEventHandlers({
blur: (event: FocusEvent, view: EditorView) => {
view.dispatch({
selection: // empty
})
}
})
]