From 0d30f46e3f751b87c397095e8802a0d312018125 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E0=AE=AE=E0=AE=A9=E0=AF=8B=E0=AE=9C=E0=AF=8D=E0=AE=95?= =?UTF-8?q?=E0=AF=81=E0=AE=AE=E0=AE=BE=E0=AE=B0=E0=AF=8D=20=E0=AE=AA?= =?UTF-8?q?=E0=AE=B4=E0=AE=A9=E0=AE=BF=E0=AE=9A=E0=AF=8D=E0=AE=9A=E0=AE=BE?= =?UTF-8?q?=E0=AE=AE=E0=AE=BF?= Date: Mon, 21 Mar 2022 08:57:12 +0530 Subject: [PATCH] Show if finished solves #315 --- src/codeManager.ts | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/codeManager.ts b/src/codeManager.ts index 3de6e2e..cb4cdf4 100644 --- a/src/codeManager.ts +++ b/src/codeManager.ts @@ -489,7 +489,11 @@ export class CodeManager implements vscode.Disposable { const elapsedTime = (endTime.getTime() - startTime.getTime()) / 1000; this._outputChannel.appendLine(""); if (showExecutionMessage) { - this._outputChannel.appendLine("[Done] exited with code=" + code + " in " + elapsedTime + " seconds"); + this._outputChannel.appendLine("[Finished] with exit code=" + code + " in " + elapsedTime + " seconds"); + this._outputChannel.appendLine(""); + } + else { + this._outputChannel.appendLine("[Finished]"); this._outputChannel.appendLine(""); } if (this._isTmpFile) {