fix #6767: avoid using server title for integrated terminal

Signed-off-by: Cai Xuye <a1994846931931@gmail.com>
eclipse-theia · Dec 18, 2019 · c1c2da7 · c1c2da7
1 parent de7816a
commit c1c2da7
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
@@ -368,7 +368,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 };
     }