From d8f02133166328ecd16c2db9133a7102fcdb0f57 Mon Sep 17 00:00:00 2001 From: Kevin DeLorey Date: Fri, 23 Jul 2021 07:41:55 -0600 Subject: [PATCH] removed dead code --- editors/code/src/config.ts | 9 --------- 1 file changed, 9 deletions(-) diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 413290c290..2277eeb7ea 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -172,15 +172,6 @@ export class Config { }; } - get highlightRelated() { - return { - references: this.get("highlightRelated.references"), - exitPoints: this.get("highlightRelated.exit_points"), - breakPoints: this.get("highlightRelated.exit_points"), - yieldPoints: this.get("highlightRelated.yield_points") - }; - } - get currentExtensionIsNightly() { return this.package.releaseTag === NIGHTLY_TAG; }