Skip to content

navigate to welcome page after finishing feature tour - #541

Merged
Yan Zhang (Eskibear) merged 1 commit into
masterfrom
pr-timer
Feb 19, 2021
Merged

navigate to welcome page after finishing feature tour#541
Yan Zhang (Eskibear) merged 1 commit into
masterfrom
pr-timer

Conversation

@Eskibear

Copy link
Copy Markdown
Member

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

Signed-off-by: Yan Zhang <yanzh@microsoft.com>

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

Copy link
Copy Markdown
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
Copy Markdown
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
Copy Markdown
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
Copy Markdown
Member Author

/azp run

@azure-pipelines

Copy link
Copy Markdown
Azure Pipelines successfully started running 1 pipeline(s).

@Eskibear
Yan Zhang (Eskibear) merged commit 0230fb7 into master Feb 19, 2021
@Eskibear Yan Zhang (Eskibear) mentioned this pull request Feb 19, 2021
4 tasks
@Eskibear
Yan Zhang (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.

2 participants