diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 14:58:42 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 14:58:42 +0100 |
| commit | 51e82fe6d2edd7ca66944540bdbbc8cb39e4b5d2 (patch) | |
| tree | 4ba523d010901e2c68d2901217074494d01c22d1 /editors/code/src/server.ts | |
| parent | c6a5d871d7a670473a78e03852bb158f3b6d5be3 (diff) | |
| parent | b08362f6d2973336764c52ebc7cc5e9f34f0d80a (diff) | |
Merge #1299
1299: Use ThemeColor and add support for light themes r=matklad a=lnicola
Part of #1294.
- switch to `ThemeColor`
- add light and high contrast theme definitions
- highlight control flow keywords and `unsafe`
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors/code/src/server.ts')
0 files changed, 0 insertions, 0 deletions