mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 01:41:11 +07:00
Georgii Ustinovandintellij-monorepo-bot
f8df55e707
GitOrigin-RevId: b167cb6dbf75bb5431533356620b9e1d2061f938
18 lines
767 B
XML
18 lines
767 B
XML
<idea-plugin>
|
|
<dependencies>
|
|
<plugin id="org.jetbrains.plugins.terminal"/>
|
|
<module name="intellij.java.execution.impl"/>
|
|
<module name="intellij.java.impl"/>
|
|
|
|
<module name="intellij.platform.backend"/>
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="org.jetbrains.plugins.terminal">
|
|
<commandSpecsProvider implementation="com.intellij.java.terminal.JavaShellCommandSpecsProvider"/>
|
|
<commandSpecsProvider implementation="com.intellij.java.terminal.JavacShellCommandSpecsProvider"/>
|
|
</extensions>
|
|
|
|
<extensions defaultExtensionNs="com.intellij.openapi.projectRoots">
|
|
<externalJavaConfigurationMissingAction implementation="com.intellij.java.terminal.ExternalJavaConfigurationDownloadInTerminalAction"/>
|
|
</extensions>
|
|
</idea-plugin>
|