MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-18 09:34:34 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-frontend] IDEA-366600 Get rid of additional "Java for JetBrains Client" plugin

Browse Source 
- java backend

GitOrigin-RevId: fce68683d12e29cf35b179f848704dbe074f4d76
This commit is contained in:
Mikhail Pyltsin
2026-01-15 16:28:43 +00:00
committed by intellij-monorepo-bot
parent 9c86385d8d
commit 6c3ad84680
140 changed files with 1841 additions and 243 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-terminal/resources/intellij.java.terminal.xml
+5 -1
View File
@@ -1,6 +1,10 @@
<idea-plugin package="com.intellij.java.terminal">
<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"/>