MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[project] correct definition of startup script and launcher names in PyCharm app descriptors

Browse Source
This commit is contained in:
Roman Shevchenko
2018-12-07 18:10:15 +01:00
parent de6e8e6a4a
commit e88d00ed63
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/educational-python/resources/idea/PyCharmEduApplicationInfo.xml
+1 -1
View File
@@ -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"/>
python/python-community-ide-resources/resources/idea/PyCharmCoreApplicationInfo.xml
+1 -1
View File
@@ -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"/>