diff options
Diffstat (limited to 'editors/code/src/persistent_state.ts')
-rw-r--r-- | editors/code/src/persistent_state.ts | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editors/code/src/persistent_state.ts b/editors/code/src/persistent_state.ts index afb652589..2519bd77a 100644 --- a/editors/code/src/persistent_state.ts +++ b/editors/code/src/persistent_state.ts | |||
@@ -27,6 +27,9 @@ export class PersistentState { | |||
27 | async updateReleaseId(value: number) { | 27 | async updateReleaseId(value: number) { |
28 | await this.globalState.update("releaseId", value); | 28 | await this.globalState.update("releaseId", value); |
29 | } | 29 | } |
30 | async removeReleaseId() { | ||
31 | await this.globalState.update("releaseId", undefined); | ||
32 | } | ||
30 | 33 | ||
31 | /** | 34 | /** |
32 | * Version of the extension that installed the server. | 35 | * Version of the extension that installed the server. |