MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[devkit] Theme.json: highlight unresolved keys as warnings, not errors

Browse Source
This commit is contained in:
Yann Cébron
2019-02-20 15:54:52 +01:00
parent 572f29e895
commit f588d814fa
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/devkit/devkit-core/src/themes/ThemeAnnotator.java
+3 -3
View File
@@ -29,9 +29,9 @@ public class ThemeAnnotator implements Annotator {
if (parentNames.startsWith("*")) return; // anything allowed
String fullKey = parentNames.isEmpty() ? property.getName() : parentNames + "." + property.getName();
holder.createErrorAnnotation(property.getNameElement().getTextRange(),
"Unresolved key '" + fullKey + "'")
.setHighlightType(ProblemHighlightType.LIKE_UNKNOWN_SYMBOL);
holder.createWarningAnnotation(property.getNameElement().getTextRange(),
"Unresolved key '" + fullKey + "'")
.setHighlightType(ProblemHighlightType.WARNING);
return;
}