diff options
| -rw-r--r-- | editors/code/src/config.ts | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 413290c290b..2277eeb7ea8 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<boolean>("highlightRelated.references"), - exitPoints: this.get<boolean>("highlightRelated.exit_points"), - breakPoints: this.get<boolean>("highlightRelated.exit_points"), - yieldPoints: this.get<boolean>("highlightRelated.yield_points") - }; - } - get currentExtensionIsNightly() { return this.package.releaseTag === NIGHTLY_TAG; } |