maxmustermann/vscode
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

launch json faded decorations better contrast

Browse source 
fixes #56794
This commit is contained in:
isidor 2018-08-22 09:34:04 +02:00
parent d4f8481432
commit 19c19e91b7
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
extensions/configuration-editing/src/extension.ts
View file

@ -11,8 +11,8 @@ import { getLocation, visit, parse, ParseErrorCode } from 'jsonc-parser';
import * as path from 'path';
import { SettingsDocument } from './settingsDocumentHelper';
const decoration = vscode.window.createTextEditorDecorationType({
color: '#9e9e9e'
const fadedDecoration = vscode.window.createTextEditorDecorationType({
color: '#777'
});
let pendingLaunchJsonDecoration: NodeJS.Timer;
@ -241,7 +241,7 @@ function updateLaunchJsonDecorations(editor: vscode.TextEditor | undefined): voi
}
});
editor.setDecorations(decoration, ranges);
editor.setDecorations(fadedDecoration, ranges);
}
vscode.languages.registerDocumentSymbolProvider({ pattern: '**/launch.json', language: 'jsonc' }, {