fix eclipse-theia#6767: avoid using server title for integrated terminal

Signed-off-by: Cai Xuye <a1994846931931@gmail.com>
tsmaeder · Jan 21, 2020 · 7097574 · 7097574
1 parent 6976745
commit 7097574
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/debug/src/browser/debug-session.tsx b/packages/debug/src/browser/debug-session.tsx
@@ -378,7 +378,7 @@ export class DebugSession implements CompositeTreeElement {
     }
 
     protected async runInTerminal({ arguments: { title, cwd, args, env } }: DebugProtocol.RunInTerminalRequest): Promise<DebugProtocol.RunInTerminalResponse['body']> {
-        const terminal = await this.doCreateTerminal({ title, cwd, env });
+        const terminal = await this.doCreateTerminal({ title, cwd, env, useServerTitle: false });
         terminal.sendText(args.join(' ') + '\n');
         return { processId: await terminal.processId };
     }