Fix task terminal title changing

Don't use server title for task terminals, instead use the provided widget title Signed-off-by: Bryan Chen <[email protected]>
eclipse-theia · Oct 16, 2023 · f7f97aa · f7f97aa
1 parent e0c82d1
commit f7f97aa
Showing 1 changed file with 2 additions and 1 deletion.
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,