rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Better releaseId naming

Browse Source
This commit is contained in:
Kirill Bulatov
2021-05-23 11:51:35 +03:00
parent be3e997ddf
commit 230ed3304a
2 changed files with 11 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
editors/code/src/persistent_state.ts
View File

@@ -3,8 +3,8 @@ import { log } from './util';
export class PersistentState {
constructor(private readonly globalState: vscode.Memento) {
const { lastCheck, releaseId, serverVersion } = this;
log.info("PersistentState:", { lastCheck, releaseId, serverVersion });
const { lastCheck, nightlyReleaseId, serverVersion } = this;
log.info("PersistentState:", { lastCheck, nightlyReleaseId, serverVersion });
}
/**
@@ -21,13 +21,13 @@ export class PersistentState {
* Release id of the *nightly* extension.
* Used to check if we should update.
*/
get releaseId(): number | undefined {
get nightlyReleaseId(): number | undefined {
return this.globalState.get("releaseId");
}
async updateReleaseId(value: number) {
async updateNightlyReleaseId(value: number) {
await this.globalState.update("releaseId", value);
}
async removeReleaseId() {
async removeNightlyReleaseId() {
await this.globalState.update("releaseId", undefined);
}