提交 c7471edd 编写于 作者: M Matt Bierner

Fix type for browser

Use `any` instead of more specific timer type for now
上级 fd75556c
...@@ -1212,7 +1212,7 @@ export class TimerRenderer { ...@@ -1212,7 +1212,7 @@ export class TimerRenderer {
export class RunStateRenderer { export class RunStateRenderer {
private static readonly MIN_SPINNER_TIME = 200; private static readonly MIN_SPINNER_TIME = 200;
private spinnerTimer: NodeJS.Timeout | undefined; private spinnerTimer: any | undefined;
private pendingNewState: NotebookCellRunState | undefined; private pendingNewState: NotebookCellRunState | undefined;
constructor(private readonly element: HTMLElement, private readonly runToolbar: ToolBar, private readonly instantiationService: IInstantiationService) { constructor(private readonly element: HTMLElement, private readonly runToolbar: ToolBar, private readonly instantiationService: IInstantiationService) {
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册