mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
2dab26b9c4
There are other IDEs that enable showWhatIsNewPageAfterUpdate option, so it's better to reuse the implementation. GitOrigin-RevId: 64aa54c0a088f920d00c09d7c0eca09861b3b553
27 lines
1.3 KiB
XML
27 lines
1.3 KiB
XML
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude">
|
|
<xi:include href="/META-INF/JavaIdePlugin.xml"/>
|
|
<xi:include href="/META-INF/tips-intellij-idea-community.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"/>
|
|
|
|
<content>
|
|
<module name="intellij.notebooks.visualization"/>
|
|
<module name="intellij.notebooks.ui"/>
|
|
<module name="intellij.platform.images.copyright"/>
|
|
<module name="intellij.xml.xmlbeans"/>
|
|
<module name="intellij.platform.ide.newUiOnboarding"/>
|
|
</content>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<applicationService serviceInterface="com.intellij.platform.ide.customization.ExternalProductResourceUrls"
|
|
serviceImplementation="com.intellij.idea.customization.base.IntelliJIdeaExternalResourceUrls"
|
|
overrides="true"/>
|
|
<applicationService serviceInterface="com.intellij.openapi.updateSettings.UpdateStrategyCustomization"
|
|
serviceImplementation="com.intellij.openapi.updateSettings.base.ShowWhatIsNewPageAfterUpdateCustomization"
|
|
overrides="true"/>
|
|
</extensions>
|
|
</idea-plugin>
|