From 43eaf25729b92f8cc70d0a2ecccf2973c17598f8 Mon Sep 17 00:00:00 2001 From: Rustam Vishniakov Date: Mon, 10 Jun 2024 17:41:32 +0200 Subject: [PATCH] IJPL-156377 Json Settings: General Settings GitOrigin-RevId: 0f33209662b532487cfc1b5987c7fbe1a9ed5c17 --- .../resources/settings/ide-settings-whitelist.json | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/platform/platform-impl/resources/settings/ide-settings-whitelist.json b/platform/platform-impl/resources/settings/ide-settings-whitelist.json index ab7c9098cb25..5666fcc5b807 100644 --- a/platform/platform-impl/resources/settings/ide-settings-whitelist.json +++ b/platform/platform-impl/resources/settings/ide-settings-whitelist.json @@ -2,6 +2,13 @@ "properties": [ "com.intellij:app:BuiltInServerOptions.*", "com.intellij:app:EmmetOptions.*", + "com.intellij:app:GeneralSettings.autoSaveFiles", + "com.intellij:app:GeneralSettings.autoSaveIfInactive", + "com.intellij:app:GeneralSettings.autoSyncFiles", + "com.intellij:app:GeneralSettings.backgroundSyncFiles", + "com.intellij:app:GeneralSettings.inactiveTimeout", + "com.intellij:app:GeneralSettings.isUseSafeWrite", + "com.intellij:app:GeneralSettings.searchInBackground", "com.intellij:app:HttpConfigurable.*", "com.intellij:app:ProjectViewSharedSettings.abbreviatePackages", "com.intellij:app:ProjectViewSharedSettings.compactDirectories",