This repository was archived by the owner on Nov 18, 2022. It is now read-only.
This repository was archived by the owner on Nov 18, 2022. It is now read-only.
Handle rust-client.* configuration value changes #233
Closed
Description
Currently we lazily initialize the configuration once, at extension startup and later we don't update it, even on related rust-client.*
configuration value updates.
Probably lazily initializing it from initial user settings is good, but we need to also update changing the values on the go (e.g. changing toolchain used), see #220 (comment).