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

IJPL-156377 Json Settings: General Settings

Browse Source 
GitOrigin-RevId: 0f33209662b532487cfc1b5987c7fbe1a9ed5c17
This commit is contained in:
Rustam Vishniakov
2024-06-11 17:17:48 +00:00
committed by intellij-monorepo-bot
parent b14408ecaf
commit 43eaf25729
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/resources/settings/ide-settings-whitelist.json
+7
View File
@@ -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",