diff options
Diffstat (limited to 'editors/code/src/persistent_state.ts')
-rw-r--r-- | editors/code/src/persistent_state.ts | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/editors/code/src/persistent_state.ts b/editors/code/src/persistent_state.ts index afb652589..dd2aeecca 100644 --- a/editors/code/src/persistent_state.ts +++ b/editors/code/src/persistent_state.ts | |||
@@ -3,8 +3,8 @@ import { log } from './util'; | |||
3 | 3 | ||
4 | export class PersistentState { | 4 | export class PersistentState { |
5 | constructor(private readonly globalState: vscode.Memento) { | 5 | constructor(private readonly globalState: vscode.Memento) { |
6 | const { lastCheck, releaseId, serverVersion } = this; | 6 | const { lastCheck, nightlyReleaseId, serverVersion } = this; |
7 | log.info("PersistentState:", { lastCheck, releaseId, serverVersion }); | 7 | log.info("PersistentState:", { lastCheck, nightlyReleaseId, serverVersion }); |
8 | } | 8 | } |
9 | 9 | ||
10 | /** | 10 | /** |
@@ -21,10 +21,10 @@ export class PersistentState { | |||
21 | * Release id of the *nightly* extension. | 21 | * Release id of the *nightly* extension. |
22 | * Used to check if we should update. | 22 | * Used to check if we should update. |
23 | */ | 23 | */ |
24 | get releaseId(): number | undefined { | 24 | get nightlyReleaseId(): number | undefined { |
25 | return this.globalState.get("releaseId"); | 25 | return this.globalState.get("releaseId"); |
26 | } | 26 | } |
27 | async updateReleaseId(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 | 30 | ||