Method devToolsNotificationLastShown

src/shared/vscode/workspace.ts:24–24

()

	}

	get devToolsNotificationLastShown(): number | undefined { return this.context.globalState.get<number>("devToolsNotificationLastShown"); }
	set devToolsNotificationLastShown(value: number | undefined) { void this.context.globalState.update("devToolsNotificationLastShown", value); }
	get devToolsNotificationDoNotShow(): boolean | undefined { return !!this.context.globalState.get("devToolsNotificationDoNotShowAgain"); }
	set devToolsNotificationDoNotShow(value: boolean | undefined) { void this.context.globalState.update("devToolsNotificationDoNotShowAgain", value); }