diff options
Diffstat (limited to 'editors/code/src/persistent_state.ts')
-rw-r--r-- | editors/code/src/persistent_state.ts | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/editors/code/src/persistent_state.ts b/editors/code/src/persistent_state.ts index 2519bd77a..c02eb2ca3 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,13 +21,13 @@ 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) { |
28 | await this.globalState.update("releaseId", value); | 28 | await this.globalState.update("releaseId", value); |
29 | } | 29 | } |
30 | async removeReleaseId() { | 30 | async removeNightlyReleaseId() { |
31 | await this.globalState.update("releaseId", undefined); | 31 | await this.globalState.update("releaseId", undefined); |
32 | } | 32 | } |
33 | 33 | ||