From e88d00ed63883395e4cadd0184e387ded47f3111 Mon Sep 17 00:00:00 2001
From: Roman Shevchenko <roman.shevchenko@jetbrains.com>
Date: Fri, 7 Dec 2018 18:09:43 +0100
Subject: [PATCH] [project] correct definition of startup script and launcher
 names in PyCharm app descriptors

---
 .../resources/idea/PyCharmEduApplicationInfo.xml                | 2 +-
 .../resources/idea/PyCharmCoreApplicationInfo.xml               | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/python/educational-python/resources/idea/PyCharmEduApplicationInfo.xml b/python/educational-python/resources/idea/PyCharmEduApplicationInfo.xml
index c67d3adb4d0b..721c8d662cf8 100644
--- a/python/educational-python/resources/idea/PyCharmEduApplicationInfo.xml
+++ b/python/educational-python/resources/idea/PyCharmEduApplicationInfo.xml
@@ -10,7 +10,7 @@
   <icon size32="/PyCharmEdu32.png" size16="/PyCharmEdu16.png" ico="PyCharmEdu.ico" svg="/PyCharmEdu.svg"/>
   <icon-eap svg="/PyCharmEdu-eap.svg"/>
   <package code="__PACKAGE_CODE__"/>
-  <names product="PyCharm" edition="Edu" script="charm"/>
+  <names product="PyCharm" edition="Edu" script="pycharm" default-launcher-name="charm"/>
 
   <welcome-screen logo-url="/PyCharmEduWelcomeScreen.png"/>
 
diff --git a/python/python-community-ide-resources/resources/idea/PyCharmCoreApplicationInfo.xml b/python/python-community-ide-resources/resources/idea/PyCharmCoreApplicationInfo.xml
index 95d09dd316a2..cfbd2232766f 100644
--- a/python/python-community-ide-resources/resources/idea/PyCharmCoreApplicationInfo.xml
+++ b/python/python-community-ide-resources/resources/idea/PyCharmCoreApplicationInfo.xml
@@ -10,7 +10,7 @@
   <icon size32="/PyCharmCore32.png" size16="/PyCharmCore16.png" ico="PyCharmCore.ico" svg="/PyCharmCore.svg"/>
   <icon-eap svg="/PyCharmCore-eap.svg"/>
   <package code="__PACKAGE_CODE__"/>
-  <names product="PyCharm" edition="Community Edition" script="charm" motto="Python IDE for Professional Developers"/>
+  <names product="PyCharm" edition="Community Edition" script="pycharm" default-launcher-name="charm" motto="Python IDE for Professional Developers"/>
 
   <welcome-screen logo-url="/PyCharmCoreWelcomeScreen.png"/>
   <customize-ide-wizard provider="com.jetbrains.python.PyCharmCustomizeIDEWizardStepsProvider"/>