From f588d814fab7d7afc6f475540ad4e84e88f49157 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Wed, 20 Feb 2019 15:54:27 +0100 Subject: [PATCH] [devkit] Theme.json: highlight unresolved keys as warnings, not errors --- plugins/devkit/devkit-core/src/themes/ThemeAnnotator.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/plugins/devkit/devkit-core/src/themes/ThemeAnnotator.java b/plugins/devkit/devkit-core/src/themes/ThemeAnnotator.java index c2c5986309b9..8d21faf0d7a5 100644 --- a/plugins/devkit/devkit-core/src/themes/ThemeAnnotator.java +++ b/plugins/devkit/devkit-core/src/themes/ThemeAnnotator.java @@ -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; }