mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
[python] only share content between Community, Prof and Fleet. dependencies must be copied.
`dependencies` tag join is not supported, hence `plugin.xml` must declare all its dependencies in one file GitOrigin-RevId: c1347feb7f995b211522c3f1408f9f576215f784
This commit is contained in:
committed by
intellij-monorepo-bot
parent
ca44742ec5
commit
763c2e8597
@@ -22,8 +22,11 @@ The Python plug-in provides smart editing for Python scripts. The feature set of
|
||||
<plugin id="org.toml.lang"/><!-- intellij.python.community.imp doesn't work without it -->
|
||||
</dependencies>
|
||||
|
||||
<!-- Declare that we support python -->
|
||||
<module value="com.intellij.modules.python"/>
|
||||
|
||||
<!-- Python bundled modules for content -->
|
||||
<xi:include href="/META-INF/python-v2-core-plugin-include.xml" xpointer="xpointer(/idea-plugin/*)"/>
|
||||
<xi:include href="/META-INF/python-v2-core-plugin-content-include.xml" xpointer="xpointer(/idea-plugin/*)"/>
|
||||
<content>
|
||||
<!--Mini-IDes support community python only-->
|
||||
<module name="intellij.python.community.plugin.minor"/> <!-- Python for Mini-IDEs-->
|
||||
|
||||
@@ -1,13 +1,5 @@
|
||||
<idea-plugin>
|
||||
<!--This is not a module, but a part of `plugin.xml` to be included-->
|
||||
|
||||
<dependencies>
|
||||
<plugin id="com.intellij.modules.platform"/>
|
||||
<plugin id="com.intellij.modules.lang"/>
|
||||
</dependencies>
|
||||
|
||||
<!-- Declare that we support python -->
|
||||
<module value="com.intellij.modules.python"/>
|
||||
<!--This is not a module, but a part of `plugin.xml` to be included. Only content could be shared for now-->
|
||||
|
||||
<!--These modules are used both in Python Community and Prof-->
|
||||
<content>
|
||||
Reference in New Issue
Block a user