mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 13:39:36 +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>
|