From 458ad67752fcc24a8913d0d088f40b946d242840 Mon Sep 17 00:00:00 2001
From: Rob Lourens <roblourens@gmail.com>
Date: Wed, 13 May 2020 16:05:28 -0500
Subject: [PATCH] Fix build

---
 .../contrib/notebook/browser/view/renderers/cellRenderer.ts   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/vs/workbench/contrib/notebook/browser/view/renderers/cellRenderer.ts b/src/vs/workbench/contrib/notebook/browser/view/renderers/cellRenderer.ts
index c9f30e0dea3..9a1d8650e05 100644
--- a/src/vs/workbench/contrib/notebook/browser/view/renderers/cellRenderer.ts
+++ b/src/vs/workbench/contrib/notebook/browser/view/renderers/cellRenderer.ts
@@ -1094,7 +1094,7 @@ export class TimerRenderer {
 		DOM.hide(container);
 	}
 
-	private intervalTimer: NodeJS.Timeout | undefined;
+	private intervalTimer: number | undefined;
 
 	start(startTime: number): IDisposable {
 		this.stop();
@@ -1104,7 +1104,7 @@ export class TimerRenderer {
 			const duration = Date.now() - startTime;
 			this.container.textContent = this.formatDuration(duration);
 		}, 100);
-		this.intervalTimer = intervalTimer;
+		this.intervalTimer = intervalTimer as any;
 
 		return toDisposable(() => {
 			clearInterval(intervalTimer);
-- 
GitLab