[theming] Use different colors for rendering warning and info markers. Fixes #34849

This commit is contained in:
Martin Aeschlimann
2017-09-25 15:22:07 +02:00
parent ac28d91dc0
commit 2f018ed0d7
7 changed files with 45 additions and 16 deletions
+1 -1
View File
@@ -47,7 +47,7 @@ export class Problems {
}
public static getSelectorInEditor(problemType: ProblemSeverity): string {
let selector = problemType === ProblemSeverity.WARNING ? 'greensquiggly' : 'redsquiggly';
let selector = problemType === ProblemSeverity.WARNING ? 'warningsquiggly' : 'errorsquiggly';
return `.view-overlays .cdr.${selector}`;
}
}