diff options
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/highlighting.ts | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts index 1c67e5dc3..b184437fc 100644 --- a/editors/code/src/highlighting.ts +++ b/editors/code/src/highlighting.ts | |||
@@ -73,11 +73,13 @@ export class Highlighter { | |||
73 | return [tag, decor]; | 73 | return [tag, decor]; |
74 | } | 74 | } |
75 | else { | 75 | else { |
76 | const fallBackTag = 'ralsp.' + tag; | ||
76 | console.log(' '); | 77 | console.log(' '); |
77 | console.log('Missing theme for: <"' + tag + '"> for following mapped scopes:') | 78 | console.log('Missing theme for: <"' + tag + '"> for following mapped scopes:'); |
78 | console.log(scopesMapper.find(tag)) | 79 | console.log(scopesMapper.find(tag)); |
80 | console.log('Falling back to values defiend in: ' + fallBackTag); | ||
79 | console.log(' '); | 81 | console.log(' '); |
80 | const color = new vscode.ThemeColor('ralsp.' + tag); | 82 | const color = new vscode.ThemeColor(fallBackTag); |
81 | const decor = vscode.window.createTextEditorDecorationType({ | 83 | const decor = vscode.window.createTextEditorDecorationType({ |
82 | color, | 84 | color, |
83 | textDecoration | 85 | textDecoration |