diff options
author | Laurențiu Nicola <[email protected]> | 2020-10-15 08:29:30 +0100 |
---|---|---|
committer | Laurențiu Nicola <[email protected]> | 2020-10-15 08:56:28 +0100 |
commit | 010d123f23e0b3766b0501a5ad9dbdb47fee7ada (patch) | |
tree | fe01fa4d81ce04e25f72dfed3b9b7c8d6f88e8d4 /editors | |
parent | 3e450cf89f9fcb7356a12487ccac7f8e21811095 (diff) |
Insert a ZWNJ before type hints
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/inlay_hints.ts | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/editors/code/src/inlay_hints.ts b/editors/code/src/inlay_hints.ts index 30ade9b98..ed0db2924 100644 --- a/editors/code/src/inlay_hints.ts +++ b/editors/code/src/inlay_hints.ts | |||
@@ -44,10 +44,12 @@ const paramHints = createHintStyle("parameter"); | |||
44 | const chainingHints = createHintStyle("chaining"); | 44 | const chainingHints = createHintStyle("chaining"); |
45 | 45 | ||
46 | function createHintStyle(hintKind: "type" | "parameter" | "chaining") { | 46 | function createHintStyle(hintKind: "type" | "parameter" | "chaining") { |
47 | // U+200C is a zero-width non-joiner to prevent the editor from forming a ligature | ||
48 | // between code and type hints | ||
47 | const [pos, render] = ({ | 49 | const [pos, render] = ({ |
48 | type: ["after", (label: string) => `: ${label}`], | 50 | type: ["after", (label: string) => `\u{200c}: ${label}`], |
49 | parameter: ["before", (label: string) => `${label}: `], | 51 | parameter: ["before", (label: string) => `${label}: `], |
50 | chaining: ["after", (label: string) => `: ${label}`], | 52 | chaining: ["after", (label: string) => `\u{200c}: ${label}`], |
51 | } as const)[hintKind]; | 53 | } as const)[hintKind]; |
52 | 54 | ||
53 | const fg = new vscode.ThemeColor(`rust_analyzer.inlayHints.foreground.${hintKind}Hints`); | 55 | const fg = new vscode.ThemeColor(`rust_analyzer.inlayHints.foreground.${hintKind}Hints`); |