diff options
| author | Omer Ben-Amram <[email protected]> | 2019-12-14 11:29:42 +0000 |
|---|---|---|
| committer | Omer Ben-Amram <[email protected]> | 2019-12-14 11:29:42 +0000 |
| commit | 083010f6339e558184f06ce76a18e1ad0b0ee936 (patch) | |
| tree | ab032c9efc825bf2fc76b27046d2f752464aaea3 /editors/code/src | |
| parent | 67641d3f5fd1cfd49673c4eea9e3d646ed97e108 (diff) | |
removed `type.alias`
Diffstat (limited to 'editors/code/src')
| -rw-r--r-- | editors/code/src/highlighting.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts index 2c8a98aa6..d7c0ae131 100644 --- a/editors/code/src/highlighting.ts +++ b/editors/code/src/highlighting.ts | |||
| @@ -56,6 +56,7 @@ export class Highlighter { | |||
| 56 | decoration('type.self'), | 56 | decoration('type.self'), |
| 57 | decoration('type.generic'), | 57 | decoration('type.generic'), |
| 58 | decoration('type.param'), | 58 | decoration('type.param'), |
| 59 | decoration('type.lifetime'), | ||
| 59 | decoration('builtin'), | 60 | decoration('builtin'), |
| 60 | decoration('text'), | 61 | decoration('text'), |
| 61 | decoration('attribute'), | 62 | decoration('attribute'), |