feat(vscode): display the version of the language server in the statu…

…s bar (#3616)

editors/vscode/src/main.ts

@@ -16,13 +16,12 @@ import {
 	StreamInfo,
 } from "vscode-languageclient/node";
 import { isAbsolute, join } from "path";
-import { existsSync, readFileSync } from "fs";
+import { existsSync } from "fs";
 import { setContextValue } from "./utils";
 import { Session } from "./session";
 import { syntaxTree } from "./commands/syntaxTree";
 import { Commands } from "./commands";
 import { StatusBar } from "./statusBar";
-import { updateSettingsRequest } from "./lsp_requests";
 
 let client: LanguageClient;
 
@@ -90,13 +89,14 @@ export async function activate(context: ExtensionContext) {
 
 	context.subscriptions.push(
 		client.onDidChangeState((evt) => {
-			statusBar.setServerState(evt.newState);
+			statusBar.setServerState(client, evt.newState);
 		}),
 	);
 
 	const handleActiveTextEditorChanged = (textEditor?: TextEditor) => {
 		if (!textEditor) {
 			statusBar.setActive(false);
+			return;
 		}
 
 		const { document } = textEditor;

editors/vscode/src/statusBar.ts

@@ -1,5 +1,6 @@
 import { StatusBarAlignment, StatusBarItem, ThemeColor, window } from "vscode";
 import { State } from "vscode-languageclient";
+import { LanguageClient } from "vscode-languageclient/node";
 import { Commands } from "./commands";
 
 /**
@@ -24,6 +25,7 @@ export class StatusBar {
 
 	private serverState: State = State.Starting;
 	private isActive: boolean = false;
+	private serverVersion: string = "";
 
 	constructor() {
 		this.statusBarItem = window.createStatusBarItem(
@@ -37,8 +39,15 @@ export class StatusBar {
 		this.update();
 	}
 
-	public setServerState(state: State) {
+	public setServerState(client: LanguageClient, state: State) {
 		this.serverState = state;
+
+		if (state === State.Running) {
+			this.serverVersion = client.initializeResult?.serverInfo?.version ?? "";
+		} else {
+			this.serverVersion = "";
+		}
+
 		this.update();
 	}
 
@@ -61,7 +70,8 @@ export class StatusBar {
 			status = Status.Error;
 		}
 
-		this.statusBarItem.text = `$(${status}) Rome`;
+		this.statusBarItem.text =
+			`$(${status}) Rome ${this.serverVersion}`.trimEnd();
 
 		switch (status) {
 			case Status.Pending: {