diff options
author | Kirill Bulatov <[email protected]> | 2021-05-23 11:17:09 +0100 |
---|---|---|
committer | Kirill Bulatov <[email protected]> | 2021-05-23 11:43:06 +0100 |
commit | 223dbd2187e5b966d192dac9745d47831dccb9b3 (patch) | |
tree | 50669f643998b7864b904d75b72a719dd7686a02 /editors/code/src/persistent_state.ts | |
parent | 95c51d8f1df1efdb2e98b7717544a6db8cad14e7 (diff) |
Style fix
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. |