mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-01 03:12:15 +07:00
Mikhail Pyltsinandintellij-monorepo-bot
6c3ad84680
- java backend GitOrigin-RevId: fce68683d12e29cf35b179f848704dbe074f4d76
24 lines
1.1 KiB
XML
24 lines
1.1 KiB
XML
<idea-plugin visibility="internal">
|
|
<dependencies>
|
|
<plugin id="training"/>
|
|
<module name="intellij.java"/>
|
|
<module name="intellij.java.debugger"/>
|
|
<module name="intellij.java.impl"/>
|
|
<module name="intellij.java.ui"/>
|
|
<module name="intellij.java.debugger.impl"/>
|
|
<module name="intellij.java.execution.impl"/>
|
|
<module name="intellij.java.debugger.impl.shared"/>
|
|
|
|
<module name="intellij.platform.backend"/>
|
|
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="training">
|
|
<ift.language.extension language="JAVA" defaultProductName="IDEA,Aqua" implementationClass="com.intellij.java.ift.JavaLangSupport"/>
|
|
<ift.learning.course language="JAVA" implementationClass="com.intellij.java.ift.JavaLearningCourse"/>
|
|
<ifs.suggesterSupport language="JAVA" implementationClass="com.intellij.java.ifs.JavaSuggesterSupport"/>
|
|
</extensions>
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<lang.documentationProvider language="JAVA" implementationClass="com.intellij.java.featuresTrainer.onboarding.tips.JavaOnboardingTipsDocumentationProvider" order="first"/>
|
|
</extensions>
|
|
</idea-plugin>
|