MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 22:51:17 +07:00
Code Issues Packages Projects Releases Wiki Activity

PY-73432 Minor: better name for registry key

Browse Source 
GitOrigin-RevId: cec63f671f0635ba39d62126f21e023c0cf7fe73
This commit is contained in:
Andrey Lisin
2024-08-28 13:35:39 +02:00
committed by intellij-monorepo-bot
parent f5fee916be
commit d1c7e0917a
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/pluginCore/resources/META-INF/plugin.xml
View File

@@ -459,8 +459,8 @@ The Python plug-in provides smart editing for Python scripts. The feature set of
<registryKey defaultValue="true" description="Use a single port for communication between PyCharm and the debugger"
restartRequired="false" key="python.debug.use.single.port"/>
<registryKey defaultValue="29781" description="Default Python debugger port" restartRequired="false"
key="python.debug.default.port" />
<registryKey defaultValue="29781" description="Python debugger port number" restartRequired="false"
key="python.debugger.port" />
<!-- typing -->
<multiHostInjector implementation="com.jetbrains.python.codeInsight.typing.PyTypingAnnotationInjector"/>