mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[plugins] IJPL-207064 PluginSyncManager: filter out updated bundled plugins from sync offer
GitOrigin-RevId: 66b588f8ca1570e2ea6a2ab4c0785815205b14ff
This commit is contained in:
committed by
intellij-monorepo-bot
parent
25fa7ba366
commit
719fe48b48
@@ -875,7 +875,7 @@ object PluginManagerCore {
|
||||
@ApiStatus.Internal
|
||||
@Synchronized
|
||||
@JvmStatic
|
||||
fun isUpdatedBundledPlugin(plugin: PluginDescriptor): Boolean = shadowedBundledPlugins.contains(plugin.getPluginId())
|
||||
fun isUpdatedBundledPlugin(plugin: PluginDescriptor): Boolean = !plugin.isBundled && shadowedBundledPlugins.contains(plugin.getPluginId())
|
||||
|
||||
private fun prepareActions(pluginNamesToDisable: Collection<String>, pluginNamesToEnable: Collection<String>): List<Supplier<HtmlChunk>> {
|
||||
if (pluginNamesToDisable.isEmpty()) {
|
||||
|
||||
Reference in New Issue
Block a user