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

IJPL-156936 Json Settings: Pythonid:app:PythonFoldingSettings

Browse Source 
GitOrigin-RevId: da4339c497054ff8246ac1611651e892362d80fe
This commit is contained in:
Rustam Vishniakov
2024-06-19 16:40:41 +02:00
committed by intellij-monorepo-bot
parent 66f10afe08
commit 95f49445cd
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
platform/platform-impl/resources/settings/ide-settings-whitelist.json
View File

@@ -148,6 +148,7 @@
"org.jetbrains.plugins.terminal:app:TerminalOptionsProvider.myShellPath",
"org.jetbrains.plugins.terminal:app:TerminalOptionsProvider.myTabName",
"org.jetbrains.plugins.terminal:app:TerminalOptionsProvider.useShellPrompt",
"Pythonid:app:PyCondaPackageService.*"
"Pythonid:app:PyCondaPackageService.*",
"Pythonid:app:PythonFoldingSettings.*"
]
}