Skip to content

Conversation

@Eskibear
Copy link
Member

@Eskibear Eskibear commented Feb 8, 2021

Part of #540 , in case users don't click the button, we navigate to welcome page after 5 seconds.

@Eskibear Eskibear requested a review from jdneo February 8, 2021 08:52

private steps: JSX.Element[];
// auto navigate to welcome page in last step
private timer: number | undefined;
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Shouldn't it declared as NodeJS.Timer?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

NodeJS.Timer failed webpack compilation. In Javascript, settimeout returns id of the timer, thus it's a number. In NodeJS, it's a Timer. Here this is used in a webview, so number type in plain JS should be used.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I see. That makes sense.

@Eskibear
Copy link
Member Author

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@Eskibear Eskibear merged commit 0230fb7 into master Feb 19, 2021
@Eskibear Eskibear mentioned this pull request Feb 19, 2021
4 tasks
@Eskibear Eskibear deleted the pr-timer branch April 29, 2021 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants