Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/persistent_state.ts')
| -rw-r--r-- | editors/code/src/persistent_state.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/src/persistent_state.ts b/editors/code/src/persistent_state.ts index cebd16a3c9..3f90cd3bb9 100644 --- a/editors/code/src/persistent_state.ts +++ b/editors/code/src/persistent_state.ts @@ -14,6 +14,7 @@ export class PersistentState { get serverVersion(): string | undefined { return this.globalState.get("serverVersion"); } + async updateServerVersion(value: string | undefined) { await this.globalState.update("serverVersion", value); } |