From 3183a213ab559124ad1350d9c01dc5ecc2d13c43 Mon Sep 17 00:00:00 2001 From: FernandoAscencio Date: Fri, 24 Feb 2023 11:45:58 -0500 Subject: [PATCH] terminal: Spawning Speed issue fix This commit closed the issue #1733. Signed-off-by: FernandoAscencio --- packages/terminal/src/browser/terminal-frontend-contribution.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/terminal/src/browser/terminal-frontend-contribution.ts b/packages/terminal/src/browser/terminal-frontend-contribution.ts index d7a7ef7c4c6a1..1b1b4555442ac 100644 --- a/packages/terminal/src/browser/terminal-frontend-contribution.ts +++ b/packages/terminal/src/browser/terminal-frontend-contribution.ts @@ -830,7 +830,7 @@ export class TerminalFrontendContribution implements FrontendApplicationContribu async newTerminal(options: TerminalWidgetOptions): Promise { const widget = await this.widgetManager.getOrCreateWidget(TERMINAL_WIDGET_FACTORY_ID, { - created: new Date().toString(), + created: new Date().toISOString(), ...options }); return widget;