mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-30 01:20:53 +07:00
3a8344fcad
153 modules which contain classes used from external plugins from the Marketplace are marked as public. This is needed to ensure that it'll be possible to use that API after converting code from these external plugins to content modules. GitOrigin-RevId: dc48e8970041fddd3bf50d280711e95ce9e9ad9b
25 lines
1.1 KiB
XML
25 lines
1.1 KiB
XML
<idea-plugin visibility="public">
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<fileType name="Python"
|
|
language="Python"
|
|
extensions="py;pyw"
|
|
hashBangs="python"
|
|
implementationClass="com.jetbrains.python.PythonFileType"
|
|
fieldName="INSTANCE"/>
|
|
<fileType name="PythonStub"
|
|
language="PythonStub"
|
|
extensions="pyi"
|
|
implementationClass="com.jetbrains.python.pyi.PyiFileType"
|
|
fieldName="INSTANCE"/>
|
|
<registryKey key="python.ast.leaves.incremental.reparse" defaultValue="false"
|
|
description="Enables incremental reparse for Python leaf elements (string literals, identifiers, comments)"/>
|
|
</extensions>
|
|
<extensionPoints>
|
|
<extensionPoint qualifiedName="Pythonid.dialectsTokenSetContributor"
|
|
interface="com.jetbrains.python.PythonDialectsTokenSetContributor"
|
|
dynamic="true"/>
|
|
</extensionPoints>
|
|
<extensions defaultExtensionNs="Pythonid">
|
|
<dialectsTokenSetContributor implementation="com.jetbrains.python.PythonTokenSetContributor"/>
|
|
</extensions>
|
|
</idea-plugin> |