mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
96be92568d
Merge-request: IJ-MR-178510 Merged-by: Vitaly Legchilkin <Vitaly.Legchilkin@jetbrains.com> (cherry picked from commit 1085eccff5433c0902aac46d648c9f536241e5d5) IJ-MR-178510 GitOrigin-RevId: bf18b88f5b6ea2129d05374df722699ab605b2e3
21 lines
715 B
XML
21 lines
715 B
XML
<idea-plugin>
|
|
<dependencies>
|
|
<module name="intellij.python.community"/>
|
|
<module name="intellij.python.community.helpersLocator"/>
|
|
</dependencies>
|
|
|
|
<extensionPoints>
|
|
<extensionPoint qualifiedName="Pythonid.execService.targetEnvironmentRequestHandler"
|
|
interface="com.intellij.python.community.execService.spi.TargetEnvironmentRequestHandler"
|
|
dynamic="true"/>
|
|
|
|
</extensionPoints>
|
|
|
|
<extensions defaultExtensionNs="Pythonid">
|
|
<execService.targetEnvironmentRequestHandler
|
|
implementation="com.intellij.python.community.execService.impl.processLaunchers.DefaultTargetEnvironmentRequestHandler"
|
|
order="last"
|
|
/>
|
|
</extensions>
|
|
|
|
</idea-plugin> |