Prevent task terminal title from being changed by task process (#13003)

Don't use server title for task terminals, instead use the provided widget title Signed-off-by: Bryan Chen <Bryan.Chen2@microchip.com>
eclipse-theia · Nov 10, 2023 · a88d39e · a88d39e
1 parent 882e125
commit a88d39e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,9 @@
 
 - [Previous Changelogs](https://github.com/eclipse-theia/theia/tree/master/doc/changelogs/)
 
+## v1.44.0
+- [task] prevent task widget title from being changed by task process [#13003](https://github.com/eclipse-theia/theia/pull/13003)
+
 ## v1.43.0 - 10/26/2023
 
 - [application-manager] fixed backend webpack output and watching [#12902](https://github.com/eclipse-theia/theia/pull/12902)

diff --git a/packages/task/src/browser/task-service.ts b/packages/task/src/browser/task-service.ts
@@ -1092,7 +1092,8 @@ export class TaskService implements TaskConfigurationClient {
             title: taskInfo
                 ? `Task: ${taskInfo.config.label}`
                 : `Task: #${taskId}`,
-            destroyTermOnClose: true
+            destroyTermOnClose: true,
+            useServerTitle: false
         }, {
             widgetOptions: { area: 'bottom' },
             mode: widgetOpenMode,