mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
PY-85162 Add registry key for timeout to guess SDK
(cherry picked from commit b044fee434c707575efe27bb383ef0e57747a347) IJ-MR-184472 GitOrigin-RevId: ec0c53e404f92c6b75753c8c79b6a2461c2ef461
This commit is contained in:
committed by
intellij-monorepo-bot
parent
c1189567ed
commit
1a7d3b77fb
@@ -693,6 +693,8 @@
|
||||
|
||||
<!-- Debugger Show value tooltip -->
|
||||
<registryKey defaultValue="true" description="Show value tooltip" key="python.debugger.show.value.tooltip"/>
|
||||
|
||||
<registryKey defaultValue="3" description="Timeout to guess the best suitable SDK when adding new interpreter (seconds)" key="python.guess.sdk.timeout.seconds"/>
|
||||
</extensions>
|
||||
|
||||
<extensionPoints>
|
||||
|
||||
Reference in New Issue
Block a user