mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +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: e47df9bc9b6ee65e85f0667f0390be7edce4a891