mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(RIDER-107439) Onboarding wizard: install featured plugins even if the main plugin set wasn't requested
GitOrigin-RevId: 67b1f7740797ab8b166f03fc9eac94320ab76016
This commit is contained in:
committed by
intellij-monorepo-bot
parent
3acfefd1cb
commit
1620d8e956
@@ -143,12 +143,17 @@ class SettingTransferProductService(
|
||||
val selectedIds = toApply.importSettings.asSequence().map { it.id }.toSet()
|
||||
val settings = product.settingsCache
|
||||
val preferences = settings.preferences
|
||||
val pluginImportRequestedByUser = selectedIds.contains(TransferableSetting.PLUGINS_ID)
|
||||
preferences[SettingsPreferencesKind.Laf] = selectedIds.contains(TransferableSetting.UI_ID)
|
||||
preferences[SettingsPreferencesKind.SyntaxScheme] = selectedIds.contains(TransferableSetting.UI_ID)
|
||||
preferences[SettingsPreferencesKind.Keymap] = selectedIds.contains(TransferableSetting.KEYMAP_ID)
|
||||
preferences[SettingsPreferencesKind.Plugins] = selectedIds.contains(TransferableSetting.PLUGINS_ID)
|
||||
preferences[SettingsPreferencesKind.Plugins] = pluginImportRequestedByUser || toApply.featuredPluginIds.isNotEmpty()
|
||||
preferences[SettingsPreferencesKind.RecentProjects] = selectedIds.contains(TransferableSetting.RECENT_PROJECTS_ID)
|
||||
|
||||
if (!pluginImportRequestedByUser) {
|
||||
settings.plugins.clear()
|
||||
}
|
||||
|
||||
val featuredPluginsToAdd = toApply.featuredPluginIds.asSequence().map { it to PluginFeature(null, it, it) }
|
||||
settings.plugins.putAll(featuredPluginsToAdd)
|
||||
|
||||
|
||||
Reference in New Issue
Block a user