mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
One can't change remote path for Vagrant in PyCharm, so PyProjectSynchronizer now has API to report "default mappings". Once reported, PyAddExistingSdkPanel uses them to update remote path field (which is switched to the readonly mode in this case).