Update extensions/gitpod-web/src/extension.ts

filiptronicek · mikenikles · jeanp413 · commit 37739b0a0cd8 · 2021-10-25T18:06:53.000Z
Co-authored-by: Mike Nikles &lt;788827+mikenikles@users.noreply.github.com&gt;
diff --git a/extensions/gitpod-web/src/extension.ts b/extensions/gitpod-web/src/extension.ts
@@ -774,7 +774,7 @@ export function registerWelcomeWalkthroughCommands(context: GitpodExtensionConte
 }
 
 export function startWelcomeWalkthrough(context: vscode.ExtensionContext, versionKey: string): void {
-	type WalkthroughVersion = 0.1;
+	type WalkthroughVersion = number;
 	const currentVersion: WalkthroughVersion = 0.1;
 	const lastVersionShown = context.globalState.get<number>(versionKey);
 

Original file line number	Diff line number	Diff line change
`@@ -774,7 +774,7 @@ export function registerWelcomeWalkthroughCommands(context: GitpodExtensionConte`
`774`	`774`	`}`
`775`	`775`
`776`	`776`	`export function startWelcomeWalkthrough(context: vscode.ExtensionContext, versionKey: string): void {`
`777`		`- type WalkthroughVersion = 0.1;`
	`777`	`+ type WalkthroughVersion = number;`
`778`	`778`	`const currentVersion: WalkthroughVersion = 0.1;`
`779`	`779`	`const lastVersionShown = context.globalState.get<number>(versionKey);`
`780`	`780`