fix: add a toggle to disable the dependency explorer.

This commit is contained in:
David Barsky 2023-05-26 11:50:07 -04:00
parent eee6872647
commit 7dfef85be6
3 changed files with 14 additions and 2 deletions

View file

@ -284,6 +284,10 @@ export class Config {
get useRustcErrorCode() {
return this.get<boolean>("diagnostics.useRustcErrorCode");
}
get showDependenciesExplorer() {
return this.get<boolean>("showDependenciesExplorer");
}
}
// the optional `cb?` parameter is meant to be used to add additional