diff options
| author | Kirill Bulatov <mail4score@gmail.com> | 2021-05-23 13:17:09 +0300 |
|---|---|---|
| committer | Kirill Bulatov <mail4score@gmail.com> | 2021-05-23 13:43:06 +0300 |
| commit | 223dbd2187e5b966d192dac9745d47831dccb9b3 (patch) | |
| tree | 50669f643998b7864b904d75b72a719dd7686a02 /editors/code/src/persistent_state.ts | |
| parent | 95c51d8f1df1efdb2e98b7717544a6db8cad14e7 (diff) | |
| download | rust-223dbd2187e5b966d192dac9745d47831dccb9b3.tar.gz rust-223dbd2187e5b966d192dac9745d47831dccb9b3.zip | |
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 c02eb2ca30d..dd2aeecca35 100644 --- a/editors/code/src/persistent_state.ts +++ b/editors/code/src/persistent_state.ts @@ -24,12 +24,9 @@ export class PersistentState { get nightlyReleaseId(): number | undefined { return this.globalState.get("releaseId"); } - async updateNightlyReleaseId(value: number) { + async updateNightlyReleaseId(value: number | undefined) { await this.globalState.update("releaseId", value); } - async removeNightlyReleaseId() { - await this.globalState.update("releaseId", undefined); - } /** * Version of the extension that installed the server. |