Microsoft/monaco-editor
View on GitHubExpose diff editor options to access and update them
Open
#743 opened on Mar 5, 2018
diff-editoreditor-apifeature-requesthelp wanted
Repository metrics
- Stars
- (14,836 stars)
- PR merge metrics
- (Avg merge 6h 26m) (15 merged PRs in 30d)
Description
The following options should be covered: https://github.com/Microsoft/monaco-editor/blob/e52655e4681f9d2ed4e39bf1832d3ac67c62bdf5/monaco.d.ts#L3100