diff options
Diffstat (limited to 'editors/code/src/persistent_state.ts')
-rw-r--r-- | editors/code/src/persistent_state.ts | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/editors/code/src/persistent_state.ts b/editors/code/src/persistent_state.ts index c02eb2ca3..dd2aeecca 100644 --- a/editors/code/src/persistent_state.ts +++ b/editors/code/src/persistent_state.ts | |||
@@ -24,12 +24,9 @@ export class PersistentState { | |||
24 | get nightlyReleaseId(): number | undefined { | 24 | get nightlyReleaseId(): number | undefined { |
25 | return this.globalState.get("releaseId"); | 25 | return this.globalState.get("releaseId"); |
26 | } | 26 | } |
27 | async updateNightlyReleaseId(value: number) { | 27 | async updateNightlyReleaseId(value: number | undefined) { |
28 | await this.globalState.update("releaseId", value); | 28 | await this.globalState.update("releaseId", value); |
29 | } | 29 | } |
30 | async removeNightlyReleaseId() { | ||
31 | await this.globalState.update("releaseId", undefined); | ||
32 | } | ||
33 | 30 | ||
34 | /** | 31 | /** |
35 | * Version of the extension that installed the server. | 32 | * Version of the extension that installed the server. |