From e5fd38f81eebe76bcb3b1b356480387c716881bf Mon Sep 17 00:00:00 2001 From: Sergey Simonchik Date: Mon, 28 Sep 2020 21:10:45 +0300 Subject: [PATCH] terminal: support ZDOTDIT changed in "Tools | Terminal" environment variables UI (IDEA-182470) GitOrigin-RevId: 38a6cf98d69f161e76c7a925039e7a16d817177d --- .../jetbrains/plugins/terminal/LocalTerminalDirectRunner.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/LocalTerminalDirectRunner.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/LocalTerminalDirectRunner.java index ba506e17731f..005e56268362 100644 --- a/plugins/terminal/src/org/jetbrains/plugins/terminal/LocalTerminalDirectRunner.java +++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/LocalTerminalDirectRunner.java @@ -304,11 +304,11 @@ public class LocalTerminalDirectRunner extends AbstractTerminalRunner