-
Notifications
You must be signed in to change notification settings - Fork 82
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
Download external resources preference #640
Download external resources preference #640
Conversation
d0ece63
to
25eb806
Compare
25eb806
to
243ab71
Compare
243ab71
to
c878132
Compare
c878132
to
d8e5ab3
Compare
Signed-off-by: azerr <[email protected]>
One small case I noticed :
This is because workspace trust is checked once at activation, but we're not using the Update : Also, I think the setting here should be added to |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm fine with merging. @AlexXuChen , can address the issue I mentioned in a separate PR.
thanks @angelozerr! |
Download external resources preference
Signed-off-by: azerr [email protected]