Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Lib path not respected #1104

Closed
SuperAuguste opened this issue Mar 31, 2023 · 0 comments · Fixed by #1366
Closed

Lib path not respected #1104

SuperAuguste opened this issue Mar 31, 2023 · 0 comments · Fixed by #1366
Assignees
Labels
bug Something isn't working priority:low Low priority item

Comments

@SuperAuguste
Copy link
Member

Setting a lib path outside of zls.json isn't respected because we don't notify the DocumentStore of this change. We'd need to invalidate and reopen all std files.

@SuperAuguste SuperAuguste added bug Something isn't working priority:low Low priority item labels Mar 31, 2023
@SuperAuguste SuperAuguste self-assigned this Mar 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working priority:low Low priority item
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant