mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Nikolay Chashnikov
3a8344fcad
153 modules which contain classes used from external plugins from the Marketplace are marked as public. This is needed to ensure that it'll be possible to use that API after converting code from these external plugins to content modules. GitOrigin-RevId: dc48e8970041fddd3bf50d280711e95ce9e9ad9b
27 lines
970 B
XML
27 lines
970 B
XML
<idea-plugin>
|
|
<id>com.intellij.dev</id>
|
|
<name>DevKit Runtime</name>
|
|
<vendor>JetBrains</vendor>
|
|
<category>Platform Development</category>
|
|
<description><![CDATA[
|
|
<p>Provides tools for IDE and plugin development,
|
|
actions that make sense in debug IDE instance, such as <b>View PSI Structure</b>.</p>
|
|
|
|
<p>Want to build a plugin for your favorite JetBrains IDE ?! <br/>
|
|
<a href="https://plugins.jetbrains.com/docs/intellij/welcome.html?from=com.intellij.dev&utm_source=product&utm_campaign=devkit">Learn More!</a></p>
|
|
]]></description>
|
|
|
|
<content namespace="jetbrains">
|
|
<module name="intellij.dev.psiViewer"/>
|
|
<module name="intellij.dev.codeInsight"/>
|
|
<module name="intellij.java.dev"/>
|
|
<module name="intellij.groovy.dev"/>
|
|
<module name="intellij.kotlin.dev"/>
|
|
<module name="intellij.platform.statistics.devkit"/>
|
|
</content>
|
|
|
|
<dependencies>
|
|
<plugin id="com.intellij.modules.lang"/>
|
|
</dependencies>
|
|
</idea-plugin>
|