mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
1. Delete `intellij.python.community.impl.xml` (move content to `PythonCore` plugin). It is necessary to fix incorrect dependencies: `PythonCore`, `Pythonid` include the same module. 2. Fixed dependencies: if some plugin/module needs Python core functionality, then it should depend on `PythonCore`. Co-authored-by: Vladimir Koshelev <Vladimir.Koshelev@jetbrains.com> Merge-request: IJ-MR-136158 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> GitOrigin-RevId: ce9ed4c17f601ee1ca2b6cf608f4e30fdac1d879
12 lines
643 B
XML
12 lines
643 B
XML
<idea-plugin package="com.intellij.python.featuresTrainer">
|
|
<dependencies>
|
|
<plugin id="training"/>
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="training">
|
|
<ift.language.extension language="Python" defaultProductName="PyCharm"
|
|
implementationClass="com.intellij.python.featuresTrainer.ift.PythonLangSupport"/>
|
|
<ift.learning.course language="Python" implementationClass="com.intellij.python.featuresTrainer.ift.PythonLearningCourse"/>
|
|
<ifs.suggesterSupport language="Python" implementationClass="com.intellij.python.featuresTrainer.ifs.PythonSuggesterSupport"/>
|
|
</extensions>
|
|
</idea-plugin>
|