mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 04:37:32 +07:00
Nikolay Chashnikovandintellij-monorepo-bot
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
22 lines
806 B
XML
22 lines
806 B
XML
<idea-plugin visibility="public">
|
|
<dependencies>
|
|
<plugin id="com.intellij.modules.lang"/>
|
|
<plugin id="com.intellij.java"/>
|
|
</dependencies>
|
|
|
|
|
|
|
|
<actions resource-bundle="messages.JShellBundle">
|
|
<action id="JShell.Console"
|
|
class="com.intellij.execution.jshell.LaunchJShellConsoleAction">
|
|
<add-to-group group-id="ToolsMenu" anchor="last"/>
|
|
</action>
|
|
</actions>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<notificationGroup id="JSHELL_NOTIFICATIONS" displayType="BALLOON" bundle="messages.JShellBundle" key="notification.group.jshell"/>
|
|
<scratch.rootType implementation="com.intellij.execution.jshell.JShellRootType"/>
|
|
<editorNotificationProvider implementation="com.intellij.execution.jshell.SnippetEditorDecorator"/>
|
|
</extensions>
|
|
</idea-plugin>
|