aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/persistent_state.ts
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src/persistent_state.ts')
-rw-r--r--editors/code/src/persistent_state.ts5
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.