mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
[devkit] PluginXmlDynamicPluginInspection: component highlighting tweaks (IDEA-228484)
GitOrigin-RevId: bbb95b1ec87fcc70d3024fe738feb91cfc1e4449
This commit is contained in:
committed by
intellij-monorepo-bot
parent
c0f8083cd9
commit
ed263b09b4
@@ -59,9 +59,9 @@ public class PluginXmlDynamicPluginInspection extends DevKitPluginXmlInspectionB
|
||||
|
||||
private static void highlightComponents(DomElementAnnotationHolder holder, DomElement component) {
|
||||
holder.createProblem(component, ProblemHighlightType.LIKE_DEPRECATED,
|
||||
"<html>Replace Components with " +
|
||||
"<html>Non-dynamic plugin due to using components, replace with " +
|
||||
"<a href=\"http://www.jetbrains.org/intellij/sdk/docs/basics/plugin_structure/plugin_components.html\">alternatives</a></html>",
|
||||
null).highlightWholeElement();
|
||||
null);
|
||||
}
|
||||
|
||||
private static void highlightExtensionPoint(DomElementAnnotationHolder holder, ExtensionPoint extensionPoint) {
|
||||
|
||||
@@ -24,13 +24,13 @@
|
||||
</actions>
|
||||
|
||||
|
||||
<warning descr="Replace Components with alternatives"><application-components>
|
||||
</application-components></warning>
|
||||
<<warning descr="Non-dynamic plugin due to using components, replace with alternatives">application-components</warning>>
|
||||
</application-components>
|
||||
|
||||
<warning descr="Replace Components with alternatives"><project-components>
|
||||
</project-components></warning>
|
||||
<<warning descr="Non-dynamic plugin due to using components, replace with alternatives">project-components</warning>>
|
||||
</project-components>
|
||||
|
||||
<warning descr="Replace Components with alternatives"><module-components>
|
||||
</module-components></warning>
|
||||
<<warning descr="Non-dynamic plugin due to using components, replace with alternatives">module-components</warning>>
|
||||
</module-components>
|
||||
|
||||
</idea-plugin>
|
||||
Reference in New Issue
Block a user