From ac7d7e2eac68abd8e30611c89ede8deae6c8f881 Mon Sep 17 00:00:00 2001 From: Roman Shevchenko Date: Thu, 25 May 2017 12:48:00 +0300 Subject: [PATCH] [ui] title in KDE console --- .../platform-api/src/com/intellij/execution/util/ExecUtil.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/platform/platform-api/src/com/intellij/execution/util/ExecUtil.java b/platform/platform-api/src/com/intellij/execution/util/ExecUtil.java index 1a4d128569f3..8c76621ddfd2 100644 --- a/platform/platform-api/src/com/intellij/execution/util/ExecUtil.java +++ b/platform/platform-api/src/com/intellij/execution/util/ExecUtil.java @@ -235,7 +235,8 @@ public class ExecUtil { return Arrays.asList(getOpenCommandPath(), "-a", "Terminal", command); } else if (hasKdeTerminal.getValue()) { - return Arrays.asList("konsole", "-e", command); + return title != null ? Arrays.asList("konsole", "-p", "tabtitle=\"" + title.replace('"', '\'') + "\"", "-e", command) + : Arrays.asList("konsole", "-e", command); } else if (hasGnomeTerminal.getValue()) { return title != null ? Arrays.asList("gnome-terminal", "-t", title, "-x", command)