diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-04 14:55:49 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-06-04 14:55:49 +0100 |
commit | dceec3eb80f3f2d064536ef8272522f65ec1a76c (patch) | |
tree | 43dc7fa25956c233f6a2b3384c134eb48a243a36 /editors/code/src | |
parent | cd46255d7e8bb59b93a32d5cb50581f418ca5f3b (diff) | |
parent | 07394316ff0c5454b3a9e854945ebd29b90259ec (diff) |
Merge #9136
9136: feat: Add function references hover action r=Veykril a=Veykril
![image](https://user-images.githubusercontent.com/3757771/120811670-8422ed80-c54c-11eb-87f5-dd65c1f8ef7d.png)
This is off by default as this can slow down hover messages significantly for very big projects I believe.
Fixes #6590
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/config.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index d3d6e631a..1f1fe59a4 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -165,6 +165,7 @@ export class Config { | |||
165 | return { | 165 | return { |
166 | enable: this.get<boolean>("hoverActions.enable"), | 166 | enable: this.get<boolean>("hoverActions.enable"), |
167 | implementations: this.get<boolean>("hoverActions.implementations"), | 167 | implementations: this.get<boolean>("hoverActions.implementations"), |
168 | references: this.get<boolean>("hoverActions.references"), | ||
168 | run: this.get<boolean>("hoverActions.run"), | 169 | run: this.get<boolean>("hoverActions.run"), |
169 | debug: this.get<boolean>("hoverActions.debug"), | 170 | debug: this.get<boolean>("hoverActions.debug"), |
170 | gotoTypeDef: this.get<boolean>("hoverActions.gotoTypeDef"), | 171 | gotoTypeDef: this.get<boolean>("hoverActions.gotoTypeDef"), |