mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 17:15:38 +07:00
Louis Vignierandintellij-monorepo-bot
053e0690d1
GitOrigin-RevId: b7a70c715b449a75f95bec11bab7990ee1e6e862
11 lines
400 B
XML
11 lines
400 B
XML
<!--suppress PluginXmlValidity -->
|
|
<idea-plugin>
|
|
<dependencies>
|
|
<module name="intellij.java.execution.impl.shared"/>
|
|
<module name="intellij.platform.frontend"/>
|
|
</dependencies>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<editorFloatingToolbarProvider implementation="com.intellij.java.execution.impl.frontend.JavaAutoRunFloatingToolbarProvider"/>
|
|
</extensions>
|
|
</idea-plugin> |