55bf51df41
Remove auto-config patching from the VSCode client This was introduced 4 months ago when we drastically changed the config keys. I'd like to remove this given I always felt uneasy doing edits to a users config from within r-a, and by now most if not all users should've swapped to a new enough version of r-a that should've updated their configs. The extension will continue to work fine even with the outdated keys afterwards since we still do patching server side as well, and that one we'll have to support for quite some more time (if not until a proper 1.0 release where I assume we can allow ourselves some more user facing breakage) (There also might've been a small bug in here that prevented users with certain outdated keys to prevent them from enabling certain keys for some reason) |
||
---|---|---|
.. | ||
ast_inspector.ts | ||
client.ts | ||
commands.ts | ||
config.ts | ||
ctx.ts | ||
debug.ts | ||
lsp_ext.ts | ||
main.ts | ||
persistent_state.ts | ||
run.ts | ||
snippets.ts | ||
tasks.ts | ||
toolchain.ts | ||
util.ts |