diff --git a/python/build/pycharm_community_launcher.properties b/python/build/pycharm_community_launcher.properties index 45401043671d..409b83d09f3b 100644 --- a/python/build/pycharm_community_launcher.properties +++ b/python/build/pycharm_community_launcher.properties @@ -1,3 +1,3 @@ IDS_JDK_ENV_VAR=PYCHARM_JDK IDS_JDK_ONLY=false -IDS_VM_OPTIONS=-Didea.platform.prefix=PythonCore -Didea.no.jre.check=true -Didea.paths.selector=__PRODUCT_PATHS_SELECTOR__ +IDS_VM_OPTIONS=-Didea.platform.prefix=PyCharmCore -Didea.no.jre.check=true -Didea.paths.selector=__PRODUCT_PATHS_SELECTOR__