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

[plugins, remote-dev] IJPL-227690 Add logging for plugin actions and compatibility

Browse Source 
GitOrigin-RevId: 097539e47bed65ea8c36e4658273568d6c18a3be
This commit is contained in:
Denis Zaichenko
2026-02-13 13:35:29 +00:00
committed by intellij-monorepo-bot
parent 0c508d3d7c
commit b4bc3754d1
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/newui/PluginUiModel.kt
+6
View File
@@ -299,4 +299,10 @@ fun PluginSource?.addSource(pluginSource: PluginSource?): PluginSource? {
else {
return PluginSource.BOTH
}
}
@ApiStatus.Internal
fun PluginSource?.includes(pluginSource: PluginSource?): Boolean {
if (this == null || pluginSource == null) return false
return this == pluginSource || this == PluginSource.BOTH
}