mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
25 lines
1.2 KiB
XML
25 lines
1.2 KiB
XML
<idea-plugin package="com.intellij.python.community.plugin.minor">
|
|
<dependencies>
|
|
<!--Any IDE but NOT PyCharm-->
|
|
<plugin id="com.intellij.modules.python-in-non-pycharm-ide-capable"/>
|
|
<!-- That is Mini-ide -->
|
|
<plugin id="com.intellij.modules.python-in-mini-ide-capable"/>
|
|
<!-- and compatible with Python -->
|
|
<plugin id="com.intellij.modules.python-core-capable"/>
|
|
|
|
<!-- for library facet etc -->
|
|
<module name="intellij.python.community.plugin.impl"/>
|
|
</dependencies>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<projectConfigurable groupId="build"
|
|
id="com.jetbrains.python.configuration.PyActiveSdkModuleConfigurable"
|
|
bundle="messages.PyBundle"
|
|
key="configurable.PyActiveSdkModuleConfigurable.python.interpreter.display.name"
|
|
instance="com.intellij.python.community.plugin.minor.facet.PyPluginSdkModuleConfigurable"
|
|
groupWeight="118"/> <!-- id is used in InterpreterSettingsQuickFix.showPythonInterpreterSettings -->
|
|
|
|
<facetType implementation="com.intellij.python.community.plugin.minor.facet.MinorPythonFacetType"/>
|
|
</extensions>
|
|
|
|
</idea-plugin> |