diff options
-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, |