createDiffEditorOptions
createDiffEditorOptions():
DiffEditorOptions
The options an editor holding a mode: 'document' diff needs; an overlay diff keeps its host’s
editable options. Spread them and add the host’s own, such as plugins, typography and theme.