mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
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
5 lines
254 B
XML
5 lines
254 B
XML
<idea-plugin visibility="public">
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<registryKey key="java.highest.language.level" defaultValue="25" description="Highest released language level" restartRequired="false"/>
|
|
</extensions>
|
|
</idea-plugin> |