mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
cad2ef4938
Introduced `FrontendDelegatingPluginManagerController` to unify local and remote plugin management, enabling a merged view of plugin sources. Updated related configurations and dependencies to seamlessly support this integration. GitOrigin-RevId: e2ae710f89f405422ecd177fe65cc1d7e29659a5
9 lines
364 B
XML
9 lines
364 B
XML
<idea-plugin>
|
|
<dependencies>
|
|
<module name="intellij.platform.frontend"/>
|
|
<module name="intellij.platform.pluginManager.shared"/>
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<uiPluginManagerController implementation="com.intellij.platform.pluginManager.frontend.BackendUiPluginManagerController"/>
|
|
</extensions>
|
|
</idea-plugin> |