MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-07 22:09:38 +07:00
Code Issues Packages Projects Releases Wiki Activity

Cleanup (typos; formatting)

Browse Source 
GitOrigin-RevId: 0f58421a363d63b0b84927ebc4dd762136a58ba8
This commit is contained in:
Roman Shevchenko
2023-10-11 12:17:40 +02:00
committed by intellij-monorepo-bot
parent 7ca14dd192
commit 2edd539ecd
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
platform/core-impl/src/com/intellij/ide/plugins/PluginManagerCore.kt
View File

@@ -435,10 +435,10 @@ object PluginManagerCore {
for (id in set) {
val descriptor = idMap[id] ?: continue
selectedPlugins.add(descriptor)
processAllNonOptionalDependencies(rootDescriptor = descriptor, pluginIdMap = idMap, consumer = { dependency ->
processAllNonOptionalDependencies(descriptor, idMap) { dependency ->
if (dependency != null) selectedPlugins.add(dependency)
FileVisitResult.CONTINUE
})
}
}
selectedPlugins
}