You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Would it be possible to merge the "Directories" setting across all setting scopes (User, remote, workspace, folder)? I know vscode precedence says workspace overrides User settings but would be good if this merged in this case instead of overwriting when there are differences. If infeasible, this can be closed.
The text was updated successfully, but these errors were encountered:
AFAIK from the extension point of view there is no difference between workspace and user settings, it just simply don't know if a specific value is set in user or workspace json.
Would it be possible to merge the "Directories" setting across all setting scopes (User, remote, workspace, folder)? I know vscode precedence says workspace overrides User settings but would be good if this merged in this case instead of overwriting when there are differences. If infeasible, this can be closed.
The text was updated successfully, but these errors were encountered: