Skip to content

Deep merge to override Monaco options#37

Merged
khou22 merged 2 commits intomainfrom
monaco-options-merge
Feb 13, 2024
Merged

Deep merge to override Monaco options#37
khou22 merged 2 commits intomainfrom
monaco-options-merge

Conversation

@khou22
Copy link
Copy Markdown
Contributor

@khou22 khou22 commented Feb 13, 2024

  • Deep merge instead of just the top level (which is what we had before)

@khou22 khou22 requested a review from andyzg February 13, 2024 22:20
@khou22 khou22 merged commit b5b5fdc into main Feb 13, 2024
@khou22 khou22 deleted the monaco-options-merge branch February 13, 2024 22:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants