mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
DS-1661 New opened terminal sessions use the Workspace environment even though the opened folder has a different environment set in settings GitOrigin-RevId: 286d7d076429f6b429b8b5378229d1336a6bca06