Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r--editors/code/src/config.ts5
1 files changed, 0 insertions, 5 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index 75fbcdacae..dc0165df71 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -41,7 +41,6 @@ export class Config {
}
private refreshLogging() {
- log.setEnabled(this.traceExtension ?? false);
log.info(
"Extension version:",
vscode.extensions.getExtension(this.extensionId)!.packageJSON.version,
@@ -253,10 +252,6 @@ export class Config {
await this.cfg.update("checkOnSave", !(value || false), target || null, overrideInLanguage);
}
- get traceExtension() {
- return this.get<boolean>("trace.extension");
- }
-
get discoverProjectRunner(): string | undefined {
return this.get<string | undefined>("discoverProjectRunner");
}