mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
0c73c9eff9
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
13 lines
397 B
XML
13 lines
397 B
XML
<idea-plugin package="com.intellij.python.terminal">
|
|
<dependencies>
|
|
<plugin id="org.jetbrains.plugins.terminal"/>
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="org.jetbrains.plugins.terminal">
|
|
<localTerminalCustomizer implementation="com.intellij.python.terminal.PyVirtualEnvTerminalCustomizer"/>
|
|
</extensions>
|
|
|
|
<extensions defaultExtensionNs="com.intellij"/>
|
|
|
|
|
|
</idea-plugin>
|