Files
openide/python/pluginMinor/META-INF/python-community-plugin-minor.xml
Ilya.Kazakevich 8a334cf9d2 [python] Rename and move python facets
Facets should be in appropriate packages according to v2

GitOrigin-RevId: cacc729a038f40bfaf9ebb2d89d1e1a744fd71f1
2024-01-16 15:50:03 +00:00

17 lines
1.0 KiB
XML

<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude" url="https://confluence.jetbrains.com/display/PYH/">
<!-- Components and extensions declared in this file work ONLY in the Python plugin for minor IDEs -->
<xi:include href="/META-INF/python-community-plugin-core.xml" xpointer="xpointer(/idea-plugin/*)"/>
<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>