mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
c3d006d45e
These modules and their classes don't have external usages, so they shouldn't be made 'public' at least for now. The 'namespace' is also set to 'jetbrains' for plugins which contain such modules or modules which use them to allow 'internal' visibility to work. GitOrigin-RevId: 198007e49320075dc27faadde6963e98332296a4
14 lines
740 B
XML
14 lines
740 B
XML
<idea-plugin visibility="internal">
|
|
<dependencies>
|
|
<plugin id="training"/>
|
|
<module name="intellij.python.community.impl"/>
|
|
<module name="intellij.python.community.services.systemPython"/>
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="training">
|
|
<ift.language.extension language="Python" defaultProductName="PyCharm"
|
|
implementationClass="com.intellij.python.featuresTrainer.ift.PythonLangSupport"/>
|
|
<ift.learning.course language="Python" implementationClass="com.intellij.python.featuresTrainer.ift.PythonLearningCourse"/>
|
|
<ifs.suggesterSupport language="Python" implementationClass="com.intellij.python.featuresTrainer.ifs.PythonSuggesterSupport"/>
|
|
</extensions>
|
|
</idea-plugin>
|