MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[ui] title in KDE console

Browse Source
This commit is contained in:
Roman Shevchenko
2017-05-25 12:48:00 +03:00
parent 671fcfe53f
commit ac7d7e2eac
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/execution/util/ExecUtil.java
+2 -1
View File
@@ -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)