aboutsummaryrefslogtreecommitdiff
path: root/editors/code
diff options
context:
space:
mode:
authorSeivan Heidari <[email protected]>2019-11-05 13:22:09 +0000
committerSeivan Heidari <[email protected]>2019-11-05 13:22:09 +0000
commit45533112c80dd1cda19144b993f609ecee4861a8 (patch)
tree6fa8c3a4dca3e8f9c9fc3fb0abaa01217c537023 /editors/code
parent6012bbfc514dd086f422afffa23f8713ccc09854 (diff)
See if this satisfies the CI.
Diffstat (limited to 'editors/code')
-rw-r--r--editors/code/src/highlighting.ts10
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,