use full product name with edition on welcome screen

2026-09-27 10:03:11 +07:00 · 2017-12-04 23:39:00 +03:00
parent f60a25036d
commit 3d9c33944b
3 changed files with 6 additions and 1 deletions
@@ -25,6 +25,7 @@ class PyCharmEduProperties extends PyCharmPropertiesBase {
      "python-community-ide", "python-community-configure", "educational-python", "python-openapi", "python-psi-api", "platform-main"
    ]
    productLayout.bundledPluginModules = new File("$pythonCommunityPath/educational-python/build/plugin-list.txt").readLines()
+    additionalIDEPropertiesFilePaths = ["$home/community/python/educational-python/build/pycharm-edu.properties".toString()]
  }

  @Override
@@ -0,0 +1 @@
+ide.ui.name.with.edition=true