mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
39 lines
1.7 KiB
XML
39 lines
1.7 KiB
XML
<!--
|
|
Modified by Dmitrij Pochepko at 2025 as part of the OpenIDE project (https://openide.ru).
|
|
Any modifications are available on the same license terms as the original source code.
|
|
-->
|
|
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude">
|
|
<xi:include href="/META-INF/JavaIdePlugin.xml"/>
|
|
<xi:include href="/ideTipsAndTricks.xml"/>
|
|
|
|
<module value="com.intellij.modules.idea"/>
|
|
<module value="com.intellij.modules.idea.community"/>
|
|
<module value="com.intellij.modules.java-capable"/>
|
|
<module value="com.intellij.modules.python-core-capable"/> <!-- Python plugin can be installed -->
|
|
<module value="com.intellij.modules.python-in-non-pycharm-ide-capable"/> <!-- Enable Non-Pycharm-IDE support in Python plugin -->
|
|
<content>
|
|
<module name="intellij.platform.coverage"/>
|
|
<module name="intellij.platform.coverage.agent"/>
|
|
<module name="intellij.xml.xmlbeans"/>
|
|
<module name="intellij.platform.ide.newUiOnboarding"/>
|
|
<module name="intellij.platform.ide.newUsersOnboarding"/>
|
|
<module name="intellij.ide.startup.importSettings"/>
|
|
<module name="intellij.kotlin.onboarding-promoter"/>
|
|
<module name="intellij.idea.customization.base"/>
|
|
<module name="intellij.platform.tips"/>
|
|
</content>
|
|
|
|
<xi:include href="/META-INF/common-ide-modules.xml"/>
|
|
|
|
<!--suppress XmlPathReference -->
|
|
<xi:include href="/META-INF/community-extensions.xml">
|
|
<xi:fallback/>
|
|
</xi:include>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<applicationService serviceInterface="com.intellij.openapi.updateSettings.UpdateStrategyCustomization"
|
|
serviceImplementation="com.intellij.openapi.updateSettings.base.ShowWhatIsNewPageAfterUpdateCustomization"
|
|
overrides="true"/>
|
|
</extensions>
|
|
</idea-plugin>
|