diff options
author | Seivan Heidari <[email protected]> | 2019-11-05 13:22:09 +0000 |
---|---|---|
committer | Seivan Heidari <[email protected]> | 2019-11-05 13:22:09 +0000 |
commit | 45533112c80dd1cda19144b993f609ecee4861a8 (patch) | |
tree | 6fa8c3a4dca3e8f9c9fc3fb0abaa01217c537023 /editors | |
parent | 6012bbfc514dd086f422afffa23f8713ccc09854 (diff) |
See if this satisfies the CI.
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/highlighting.ts | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts index 3f509e8ee..ee39ca64c 100644 --- a/editors/code/src/highlighting.ts +++ b/editors/code/src/highlighting.ts | |||
@@ -74,11 +74,11 @@ export class Highlighter { | |||
74 | } | 74 | } |
75 | else { | 75 | else { |
76 | const fallBackTag = 'ralsp.' + tag; | 76 | const fallBackTag = 'ralsp.' + tag; |
77 | console.log(' '); | 77 | // console.log(' '); |
78 | console.log('Missing theme for: <"' + tag + '"> for following mapped scopes:'); | 78 | // console.log('Missing theme for: <"' + tag + '"> for following mapped scopes:'); |
79 | console.log(scopesMapper.find(tag)); | 79 | // console.log(scopesMapper.find(tag)); |
80 | console.log('Falling back to values defined in: ' + fallBackTag); | 80 | // console.log('Falling back to values defined in: ' + fallBackTag); |
81 | console.log(' '); | 81 | // console.log(' '); |
82 | const color = new vscode.ThemeColor(fallBackTag); | 82 | const color = new vscode.ThemeColor(fallBackTag); |
83 | const decor = vscode.window.createTextEditorDecorationType({ | 83 | const decor = vscode.window.createTextEditorDecorationType({ |
84 | color, | 84 | color, |