mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-19 20:41:09 +07:00
16 lines
677 B
XML
16 lines
677 B
XML
<idea-plugin version="2">
|
|
<!-- Components and extensions declared in this file work ONLY in the Python plugin,
|
|
both Community and Professional versions. -->
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<applicationService serviceInterface="com.jetbrains.python.run.PyCommonOptionsFormFactory"
|
|
serviceImplementation="com.jetbrains.python.run.PyPluginCommonOptionsFormFactory"/>
|
|
</extensions>
|
|
|
|
<actions>
|
|
<action id="PyManagePackages" class="com.jetbrains.python.packaging.PyManagePackagesAction" text="Manage Python Packages...">
|
|
<add-to-group group-id="ToolsMenu" anchor="last"/>
|
|
</action>
|
|
</actions>
|
|
|
|
</idea-plugin> |