提交 458ad677 编写于 作者: R Rob Lourens

Fix build

上级 c120c150
......@@ -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);
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册