mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
12 lines
384 B
XML
12 lines
384 B
XML
<idea-plugin>
|
|
<extensions defaultExtensionNs="org.jetbrains.plugins.terminal">
|
|
<localTerminalCustomizer implementation="com.jetbrains.python.sdk.PyVirtualEnvTerminalCustomizer"/>
|
|
</extensions>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<projectService serviceImplementation="com.jetbrains.python.sdk.PyVirtualEnvTerminalSettings"/>
|
|
</extensions>
|
|
|
|
|
|
</idea-plugin>
|