mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
Artifacts of PyCharm Community published by JetBrains include additional proprietary plugins. It's better to use the same layout when running PyCharm Community from sources using 'dev build' to make dev build more similar to production (we do the same when running IDEA Community using dev build). This is also needed to allow testing these additional plugins in PyCharm Community (see RDCT-1407). So code from 'PyCharmBuilder.createBuildContextForCommunityProduct' was extracted to a separate 'PyCharmCommunityWithProPluginsProperties', and this class is now used when running using 'dev build'. This also fixes PY-72924, because 'IdeBuilderKt.createProductProperties' passes the path to the ultimate project home to the constructor of ProductProperties class, so before 'PyCharmCommunityProperties' bundled incompatible plugins from plugin-list.txt from PyCharm Professional. GitOrigin-RevId: f5c66ff7449d1dacdf6e8156d9f274d594e648df