rust/editors/code/src/persistent_state.ts

import * as vscode from 'vscode';
import { log } from './util';

export class PersistentState {
    constructor(private readonly globalState: vscode.Memento) {
    }
}
Separate persistent mutable state from config That way, we clearly see which things are not change, and we also clearly see which things are persistent. 2020-03-16 19:23:38 +01:00			`import * as vscode from 'vscode';`
Rewrite auto-update Everything now happens in main.ts, in the bootstrap family of functions. The current flow is: * check everything only on extension installation. * if the user is on nightly channel, try to download the nightly extension and reload. * when we install nightly extension, we persist its release id, so that we can check if the current release is different. * if server binary was not downloaded by the current version of the extension, redownload it (we persist the version of ext that downloaded the server). 2020-03-17 12:44:31 +01:00			`import { log } from './util';`
Separate persistent mutable state from config That way, we clearly see which things are not change, and we also clearly see which things are persistent. 2020-03-16 19:23:38 +01:00
			`export class PersistentState {`
Rewrite auto-update Everything now happens in main.ts, in the bootstrap family of functions. The current flow is: * check everything only on extension installation. * if the user is on nightly channel, try to download the nightly extension and reload. * when we install nightly extension, we persist its release id, so that we can check if the current release is different. * if server binary was not downloaded by the current version of the extension, redownload it (we persist the version of ext that downloaded the server). 2020-03-17 12:44:31 +01:00			`constructor(private readonly globalState: vscode.Memento) {`
Allow to use a Github Auth token for fetching releases This change allows to use a authorization token provided by Github in order to fetch metadata for a RA release. Using an authorization token prevents to get rate-limited in environments where lots of RA users use a shared client IP (e.g. behind a company NAT). The auth token is stored in `ExtensionContext.globalState`. As far as I could observe through testing with a local WSL2 environment that state is synced between an extension installed locally and a remote version. The change provides no explicit command to query for an auth token. However in case a download fails it will provide a retry option as well as an option to enter the auth token. This should be more discoverable for most users. Closes #3688 2020-09-22 23:12:51 -07:00			`}`
Separate persistent mutable state from config That way, we clearly see which things are not change, and we also clearly see which things are persistent. 2020-03-16 19:23:38 +01:00			`}`