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

CPP-434 Split [python-community-plugin] into [python-community-core-plugin] and [python-community-java-plugin]

Browse Source
This commit is contained in:
Alexey Utkin
2015-12-11 13:30:18 +03:00
parent 432fe065e6
commit c5c832c994
39 changed files with 47 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
python/pluginJava/META-INF/python-community-plugin-java.xml Normal file
View File

@@ -0,0 +1,10 @@
<idea-plugin version="2">
<!-- Components and extensions declared in this file work ONLY in the Python plugin,
both Community and Professional versions. -->
<extensions defaultExtensionNs="Pythonid">
<importResolver implementation="com.jetbrains.python.psi.impl.PyJavaImportResolver"/>
<typeProvider implementation="com.jetbrains.python.psi.impl.PyJavaTypeProvider"/>
<pySuperMethodsSearch implementation="com.jetbrains.python.psi.impl.PyJavaSuperMethodsSearchExecutor"/>
<importCandidateProvider implementation="com.jetbrains.python.psi.impl.PyJavaImportCandidateProvider"/>
</extensions>
</idea-plugin>