mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Removed unused python-core-ide.xml
The components registered in it are included via pycharm-core.xml anyway. GitOrigin-RevId: 210cc113414f277b4d13e23e1add02d12f03c36b
This commit is contained in:
committed by
intellij-monorepo-bot
parent
14a1078a68
commit
42843b151f
@@ -1,15 +0,0 @@
|
||||
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude">
|
||||
<!-- Components and extensions declared in this file work ONLY in PyCharm, not in Python plugin.
|
||||
Both Community and Professional editions. -->
|
||||
|
||||
<xi:include href="/META-INF/python-core-plugin.xml" xpointer="xpointer(/idea-plugin/*)"/>
|
||||
<extensions defaultExtensionNs="com.intellij">
|
||||
<applicationService serviceInterface="com.intellij.lang.IdeLanguageCustomization"
|
||||
serviceImplementation="com.jetbrains.python.PyCharmLanguageCustomization"
|
||||
overrides="true"/>
|
||||
|
||||
<projectService serviceInterface="com.intellij.psi.search.ProjectScopeBuilder"
|
||||
serviceImplementation="com.jetbrains.python.psi.search.PyProjectScopeBuilder"
|
||||
overrides="true"/>
|
||||
</extensions>
|
||||
</idea-plugin>
|
||||
Reference in New Issue
Block a user