Skip to content

Simplify configuration code#691

Merged
davidanthoff merged 2 commits intojulia-vscode:masterfrom
non-Jedi:config-cleanup
May 10, 2020
Merged

Simplify configuration code#691
davidanthoff merged 2 commits intojulia-vscode:masterfrom
non-Jedi:config-cleanup

Conversation

@non-Jedi
Copy link
Copy Markdown
Member

Simplified version of #683 or #666. Also did a bit of
refactoring. This avoids using default_options from StaticLint and
DocumentFormat which probably shouldn't be considered part of their
public API.

@davidanthoff davidanthoff added this to the Current milestone May 10, 2020
@davidanthoff davidanthoff merged commit e071959 into julia-vscode:master May 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants