mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-05 23:46:49 +07:00
Mikhail Pyltsinandintellij-monorepo-bot
615b99a635
- clean-up GitOrigin-RevId: 085f101e0fd3a92abbe35ba6ac35f18675ade594
12 lines
450 B
XML
12 lines
450 B
XML
<!--suppress PluginXmlValidity -->
|
|
<idea-plugin>
|
|
<dependencies>
|
|
<module name="intellij.java.execution.impl.shared"/>
|
|
<module name="intellij.java.frontback.impl"/>
|
|
<module name="intellij.platform.frontend"/>
|
|
</dependencies>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<editorFloatingToolbarProvider implementation="com.intellij.java.execution.impl.frontend.JavaAutoRunFloatingToolbarProvider"/>
|
|
</extensions>
|
|
</idea-plugin> |