2019-12-30 13:42:59 +00:00
|
|
|
import * as vscode from "vscode";
|
2020-09-01 16:53:07 +00:00
|
|
|
import * as lc from "vscode-languageclient/node";
|
2020-07-02 10:37:04 +00:00
|
|
|
import * as ra from "./lsp_ext";
|
2020-02-02 21:23:01 +00:00
|
|
|
|
2023-03-11 00:35:05 +00:00
|
|
|
import { Config, prepareVSCodeConfig } from "./config";
|
2020-04-02 10:47:58 +00:00
|
|
|
import { createClient } from "./client";
|
2023-03-09 20:27:24 +00:00
|
|
|
import {
|
|
|
|
executeDiscoverProject,
|
|
|
|
isRustDocument,
|
|
|
|
isRustEditor,
|
|
|
|
LazyOutputChannel,
|
|
|
|
log,
|
|
|
|
RustEditor,
|
|
|
|
} from "./util";
|
2021-04-06 11:16:35 +00:00
|
|
|
import { ServerStatusParams } from "./lsp_ext";
|
2022-10-17 12:53:46 +00:00
|
|
|
import { PersistentState } from "./persistent_state";
|
|
|
|
import { bootstrap } from "./bootstrap";
|
2023-03-09 20:06:26 +00:00
|
|
|
import { ExecOptions } from "child_process";
|
2019-12-30 13:42:59 +00:00
|
|
|
|
2022-10-28 23:28:32 +00:00
|
|
|
// We only support local folders, not eg. Live Share (`vlsl:` scheme), so don't activate if
|
|
|
|
// only those are in use. We use "Empty" to represent these scenarios
|
|
|
|
// (r-a still somewhat works with Live Share, because commands are tunneled to the host)
|
|
|
|
|
2021-05-23 13:22:13 +00:00
|
|
|
export type Workspace =
|
2022-10-28 22:44:37 +00:00
|
|
|
| { kind: "Empty" }
|
2021-05-23 13:22:13 +00:00
|
|
|
| {
|
2021-05-23 20:47:58 +00:00
|
|
|
kind: "Workspace Folder";
|
2022-05-17 17:15:06 +00:00
|
|
|
}
|
|
|
|
| {
|
2021-05-23 20:47:58 +00:00
|
|
|
kind: "Detached Files";
|
|
|
|
files: vscode.TextDocument[];
|
2021-05-23 13:22:13 +00:00
|
|
|
};
|
|
|
|
|
2022-10-28 23:28:32 +00:00
|
|
|
export function fetchWorkspace(): Workspace {
|
|
|
|
const folders = (vscode.workspace.workspaceFolders || []).filter(
|
|
|
|
(folder) => folder.uri.scheme === "file"
|
|
|
|
);
|
|
|
|
const rustDocuments = vscode.workspace.textDocuments.filter((document) =>
|
|
|
|
isRustDocument(document)
|
|
|
|
);
|
|
|
|
|
|
|
|
return folders.length === 0
|
|
|
|
? rustDocuments.length === 0
|
|
|
|
? { kind: "Empty" }
|
|
|
|
: {
|
|
|
|
kind: "Detached Files",
|
|
|
|
files: rustDocuments,
|
|
|
|
}
|
|
|
|
: { kind: "Workspace Folder" };
|
|
|
|
}
|
|
|
|
|
2023-03-09 20:27:24 +00:00
|
|
|
export async function discoverWorkspace(
|
|
|
|
files: readonly vscode.TextDocument[],
|
|
|
|
command: string[],
|
|
|
|
options: ExecOptions
|
|
|
|
): Promise<JsonProject> {
|
2023-03-11 00:35:05 +00:00
|
|
|
const paths = files.map((f) => `"${f.uri.fsPath}"`).join(" ");
|
2023-03-09 20:06:26 +00:00
|
|
|
const joinedCommand = command.join(" ");
|
2023-03-09 20:47:12 +00:00
|
|
|
const data = await executeDiscoverProject(`${joinedCommand} ${paths}`, options);
|
2023-03-09 20:06:26 +00:00
|
|
|
return JSON.parse(data) as JsonProject;
|
|
|
|
}
|
|
|
|
|
2022-10-21 14:00:43 +00:00
|
|
|
export type CommandFactory = {
|
2022-10-28 22:44:37 +00:00
|
|
|
enabled: (ctx: CtxInit) => Cmd;
|
2022-10-21 14:00:43 +00:00
|
|
|
disabled?: (ctx: Ctx) => Cmd;
|
|
|
|
};
|
|
|
|
|
2022-10-28 22:44:37 +00:00
|
|
|
export type CtxInit = Ctx & {
|
|
|
|
readonly client: lc.LanguageClient;
|
|
|
|
};
|
|
|
|
|
2019-12-30 13:42:59 +00:00
|
|
|
export class Ctx {
|
2022-10-17 12:20:14 +00:00
|
|
|
readonly statusBar: vscode.StatusBarItem;
|
2023-03-11 00:35:05 +00:00
|
|
|
config: Config;
|
2022-10-28 22:44:37 +00:00
|
|
|
readonly workspace: Workspace;
|
2022-10-17 12:53:46 +00:00
|
|
|
|
2022-10-28 22:44:37 +00:00
|
|
|
private _client: lc.LanguageClient | undefined;
|
2022-10-17 13:05:20 +00:00
|
|
|
private _serverPath: string | undefined;
|
|
|
|
private traceOutputChannel: vscode.OutputChannel | undefined;
|
|
|
|
private outputChannel: vscode.OutputChannel | undefined;
|
2022-10-21 14:00:43 +00:00
|
|
|
private clientSubscriptions: Disposable[];
|
2022-10-17 13:05:20 +00:00
|
|
|
private state: PersistentState;
|
2022-10-21 14:00:43 +00:00
|
|
|
private commandFactories: Record<string, CommandFactory>;
|
|
|
|
private commandDisposables: Disposable[];
|
2023-03-16 15:26:19 +00:00
|
|
|
private unlinkedFiles: vscode.Uri[];
|
2022-10-17 12:20:14 +00:00
|
|
|
|
2022-10-28 22:44:37 +00:00
|
|
|
get client() {
|
|
|
|
return this._client;
|
|
|
|
}
|
2022-10-17 12:20:14 +00:00
|
|
|
|
2022-10-21 14:00:43 +00:00
|
|
|
constructor(
|
|
|
|
readonly extCtx: vscode.ExtensionContext,
|
2022-10-28 22:44:37 +00:00
|
|
|
commandFactories: Record<string, CommandFactory>,
|
|
|
|
workspace: Workspace
|
2022-10-21 14:00:43 +00:00
|
|
|
) {
|
2022-10-20 19:12:58 +00:00
|
|
|
extCtx.subscriptions.push(this);
|
2022-10-21 14:00:43 +00:00
|
|
|
this.statusBar = vscode.window.createStatusBarItem(vscode.StatusBarAlignment.Left);
|
2022-10-17 12:20:14 +00:00
|
|
|
this.statusBar.show();
|
|
|
|
this.workspace = workspace;
|
2022-10-21 14:00:43 +00:00
|
|
|
this.clientSubscriptions = [];
|
|
|
|
this.commandDisposables = [];
|
|
|
|
this.commandFactories = commandFactories;
|
2023-03-16 15:26:19 +00:00
|
|
|
this.unlinkedFiles = [];
|
2022-10-17 12:53:46 +00:00
|
|
|
|
|
|
|
this.state = new PersistentState(extCtx.globalState);
|
|
|
|
this.config = new Config(extCtx);
|
2022-10-21 14:00:43 +00:00
|
|
|
|
2022-10-28 22:44:37 +00:00
|
|
|
this.updateCommands("disable");
|
|
|
|
this.setServerStatus({
|
|
|
|
health: "stopped",
|
|
|
|
});
|
2022-10-17 12:20:14 +00:00
|
|
|
}
|
|
|
|
|
2022-10-20 19:12:58 +00:00
|
|
|
dispose() {
|
|
|
|
this.config.dispose();
|
2022-10-21 14:00:43 +00:00
|
|
|
this.statusBar.dispose();
|
|
|
|
void this.disposeClient();
|
|
|
|
this.commandDisposables.forEach((disposable) => disposable.dispose());
|
2022-10-20 19:12:58 +00:00
|
|
|
}
|
|
|
|
|
2022-10-28 23:28:32 +00:00
|
|
|
async onWorkspaceFolderChanges() {
|
|
|
|
const workspace = fetchWorkspace();
|
|
|
|
if (workspace.kind === "Detached Files" && this.workspace.kind === "Detached Files") {
|
|
|
|
if (workspace.files !== this.workspace.files) {
|
|
|
|
if (this.client?.isRunning()) {
|
|
|
|
// Ideally we wouldn't need to tear down the server here, but currently detached files
|
|
|
|
// are only specified at server start
|
|
|
|
await this.stopAndDispose();
|
|
|
|
await this.start();
|
|
|
|
}
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (workspace.kind === "Workspace Folder" && this.workspace.kind === "Workspace Folder") {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (workspace.kind === "Empty") {
|
|
|
|
await this.stopAndDispose();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (this.client?.isRunning()) {
|
|
|
|
await this.restart();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-10-28 22:44:37 +00:00
|
|
|
private async getOrCreateClient() {
|
|
|
|
if (this.workspace.kind === "Empty") {
|
|
|
|
return;
|
|
|
|
}
|
2022-10-17 12:20:14 +00:00
|
|
|
|
|
|
|
if (!this.traceOutputChannel) {
|
2023-01-31 14:43:47 +00:00
|
|
|
this.traceOutputChannel = new LazyOutputChannel("Rust Analyzer Language Server Trace");
|
2022-10-17 14:01:39 +00:00
|
|
|
this.pushExtCleanup(this.traceOutputChannel);
|
2022-10-17 12:20:14 +00:00
|
|
|
}
|
|
|
|
if (!this.outputChannel) {
|
|
|
|
this.outputChannel = vscode.window.createOutputChannel("Rust Analyzer Language Server");
|
2022-10-17 14:01:39 +00:00
|
|
|
this.pushExtCleanup(this.outputChannel);
|
2022-10-17 12:20:14 +00:00
|
|
|
}
|
2022-10-17 12:53:46 +00:00
|
|
|
|
2022-10-28 22:44:37 +00:00
|
|
|
if (!this._client) {
|
2022-10-17 13:05:20 +00:00
|
|
|
this._serverPath = await bootstrap(this.extCtx, this.config, this.state).catch(
|
|
|
|
(err) => {
|
|
|
|
let message = "bootstrap error. ";
|
2022-10-17 12:53:46 +00:00
|
|
|
|
2022-10-17 13:05:20 +00:00
|
|
|
message +=
|
|
|
|
'See the logs in "OUTPUT > Rust Analyzer Client" (should open automatically). ';
|
|
|
|
message +=
|
|
|
|
'To enable verbose logs use { "rust-analyzer.trace.extension": true }';
|
2022-10-17 12:53:46 +00:00
|
|
|
|
2022-10-17 13:05:20 +00:00
|
|
|
log.error("Bootstrap error", err);
|
|
|
|
throw new Error(message);
|
|
|
|
}
|
|
|
|
);
|
2023-01-24 12:43:56 +00:00
|
|
|
const newEnv = Object.assign({}, process.env, this.config.serverExtraEnv);
|
2022-10-17 12:20:14 +00:00
|
|
|
const run: lc.Executable = {
|
2022-10-17 13:05:20 +00:00
|
|
|
command: this._serverPath,
|
2022-10-17 12:20:14 +00:00
|
|
|
options: { env: newEnv },
|
|
|
|
};
|
2022-10-17 12:53:46 +00:00
|
|
|
const serverOptions = {
|
2022-10-17 12:20:14 +00:00
|
|
|
run,
|
|
|
|
debug: run,
|
|
|
|
};
|
2022-10-17 12:53:46 +00:00
|
|
|
|
2022-10-17 12:20:14 +00:00
|
|
|
let rawInitializationOptions = vscode.workspace.getConfiguration("rust-analyzer");
|
|
|
|
|
|
|
|
if (this.workspace.kind === "Detached Files") {
|
|
|
|
rawInitializationOptions = {
|
|
|
|
detachedFiles: this.workspace.files.map((file) => file.uri.fsPath),
|
|
|
|
...rawInitializationOptions,
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2023-03-09 20:06:26 +00:00
|
|
|
const discoverProjectCommand = this.config.discoverProjectCommand;
|
|
|
|
if (discoverProjectCommand) {
|
2023-03-09 20:27:24 +00:00
|
|
|
const workspaces: JsonProject[] = await Promise.all(
|
|
|
|
vscode.workspace.workspaceFolders!.map(async (folder): Promise<JsonProject> => {
|
2023-03-11 00:35:05 +00:00
|
|
|
const rustDocuments = vscode.workspace.textDocuments.filter(isRustDocument);
|
|
|
|
return discoverWorkspace(rustDocuments, discoverProjectCommand, {
|
|
|
|
cwd: folder.uri.fsPath,
|
|
|
|
});
|
2023-03-09 20:27:24 +00:00
|
|
|
})
|
|
|
|
);
|
2023-03-09 20:06:26 +00:00
|
|
|
|
2023-03-11 00:35:05 +00:00
|
|
|
this.addToDiscoveredWorkspaces(workspaces);
|
2023-03-09 20:06:26 +00:00
|
|
|
}
|
|
|
|
|
2023-03-11 00:35:05 +00:00
|
|
|
const initializationOptions = prepareVSCodeConfig(
|
|
|
|
rawInitializationOptions,
|
|
|
|
(key, obj) => {
|
2023-03-14 17:36:21 +00:00
|
|
|
// we only want to set discovered workspaces on the right key
|
|
|
|
// and if a workspace has been discovered.
|
|
|
|
if (key === "linkedProjects" && this.config.discoveredWorkspaces.length > 0) {
|
2023-03-11 00:35:05 +00:00
|
|
|
obj["linkedProjects"] = this.config.discoveredWorkspaces;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
);
|
2022-10-17 12:20:14 +00:00
|
|
|
|
2022-10-28 22:44:37 +00:00
|
|
|
this._client = await createClient(
|
2022-10-17 12:20:14 +00:00
|
|
|
this.traceOutputChannel,
|
|
|
|
this.outputChannel,
|
|
|
|
initializationOptions,
|
2022-11-18 18:47:45 +00:00
|
|
|
serverOptions,
|
2023-03-16 15:26:19 +00:00
|
|
|
this.config,
|
|
|
|
this.unlinkedFiles
|
2022-10-17 12:20:14 +00:00
|
|
|
);
|
2022-10-21 14:00:43 +00:00
|
|
|
this.pushClientCleanup(
|
2022-10-28 22:44:37 +00:00
|
|
|
this._client.onNotification(ra.serverStatus, (params) =>
|
2022-10-21 14:00:43 +00:00
|
|
|
this.setServerStatus(params)
|
|
|
|
)
|
|
|
|
);
|
2023-01-23 12:10:25 +00:00
|
|
|
this.pushClientCleanup(
|
|
|
|
this._client.onNotification(ra.openServerLogs, () => {
|
|
|
|
this.outputChannel!.show();
|
|
|
|
})
|
|
|
|
);
|
2022-10-17 12:20:14 +00:00
|
|
|
}
|
2022-10-28 22:44:37 +00:00
|
|
|
return this._client;
|
2022-10-17 12:20:14 +00:00
|
|
|
}
|
|
|
|
|
2022-10-28 23:28:32 +00:00
|
|
|
async start() {
|
|
|
|
log.info("Starting language client");
|
2022-10-28 22:44:37 +00:00
|
|
|
const client = await this.getOrCreateClient();
|
|
|
|
if (!client) {
|
|
|
|
return;
|
|
|
|
}
|
2022-10-17 12:20:14 +00:00
|
|
|
await client.start();
|
2022-10-21 14:00:43 +00:00
|
|
|
this.updateCommands();
|
2022-10-17 12:20:14 +00:00
|
|
|
}
|
|
|
|
|
2022-10-28 23:28:32 +00:00
|
|
|
async restart() {
|
|
|
|
// FIXME: We should re-use the client, that is ctx.deactivate() if none of the configs have changed
|
|
|
|
await this.stopAndDispose();
|
|
|
|
await this.start();
|
|
|
|
}
|
|
|
|
|
|
|
|
async stop() {
|
2022-10-28 22:44:37 +00:00
|
|
|
if (!this._client) {
|
|
|
|
return;
|
|
|
|
}
|
2022-10-28 23:28:32 +00:00
|
|
|
log.info("Stopping language client");
|
2022-10-28 22:44:37 +00:00
|
|
|
this.updateCommands("disable");
|
|
|
|
await this._client.stop();
|
2022-10-17 12:20:14 +00:00
|
|
|
}
|
|
|
|
|
2022-10-28 23:28:32 +00:00
|
|
|
async stopAndDispose() {
|
2022-10-28 22:44:37 +00:00
|
|
|
if (!this._client) {
|
|
|
|
return;
|
|
|
|
}
|
2022-10-28 23:28:32 +00:00
|
|
|
log.info("Disposing language client");
|
2022-10-28 22:44:37 +00:00
|
|
|
this.updateCommands("disable");
|
2022-10-21 14:00:43 +00:00
|
|
|
await this.disposeClient();
|
|
|
|
}
|
|
|
|
|
|
|
|
private async disposeClient() {
|
|
|
|
this.clientSubscriptions?.forEach((disposable) => disposable.dispose());
|
|
|
|
this.clientSubscriptions = [];
|
2022-10-28 22:44:37 +00:00
|
|
|
await this._client?.dispose();
|
2022-10-17 13:05:20 +00:00
|
|
|
this._serverPath = undefined;
|
2022-10-28 22:44:37 +00:00
|
|
|
this._client = undefined;
|
2020-02-17 13:11:01 +00:00
|
|
|
}
|
2019-12-31 17:14:00 +00:00
|
|
|
|
2020-03-07 12:07:44 +00:00
|
|
|
get activeRustEditor(): RustEditor | undefined {
|
2019-12-30 14:20:13 +00:00
|
|
|
const editor = vscode.window.activeTextEditor;
|
2020-03-07 12:07:44 +00:00
|
|
|
return editor && isRustEditor(editor) ? editor : undefined;
|
2019-12-30 14:20:13 +00:00
|
|
|
}
|
|
|
|
|
2021-08-10 13:35:37 +00:00
|
|
|
get extensionPath(): string {
|
|
|
|
return this.extCtx.extensionPath;
|
|
|
|
}
|
|
|
|
|
2020-02-02 21:23:01 +00:00
|
|
|
get subscriptions(): Disposable[] {
|
2019-12-30 18:05:41 +00:00
|
|
|
return this.extCtx.subscriptions;
|
|
|
|
}
|
|
|
|
|
2022-10-17 13:05:20 +00:00
|
|
|
get serverPath(): string | undefined {
|
|
|
|
return this._serverPath;
|
|
|
|
}
|
|
|
|
|
2023-03-11 00:35:05 +00:00
|
|
|
addToDiscoveredWorkspaces(workspaces: JsonProject[]) {
|
|
|
|
for (const workspace of workspaces) {
|
|
|
|
const index = this.config.discoveredWorkspaces.indexOf(workspace);
|
|
|
|
if (~index) {
|
|
|
|
this.config.discoveredWorkspaces[index] = workspace;
|
|
|
|
} else {
|
|
|
|
this.config.discoveredWorkspaces.push(workspace);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-10-28 22:44:37 +00:00
|
|
|
private updateCommands(forceDisable?: "disable") {
|
2022-10-21 14:00:43 +00:00
|
|
|
this.commandDisposables.forEach((disposable) => disposable.dispose());
|
|
|
|
this.commandDisposables = [];
|
2022-10-28 22:44:37 +00:00
|
|
|
|
|
|
|
const clientRunning = (!forceDisable && this._client?.isRunning()) ?? false;
|
|
|
|
const isClientRunning = function (_ctx: Ctx): _ctx is CtxInit {
|
|
|
|
return clientRunning;
|
2022-10-21 14:00:43 +00:00
|
|
|
};
|
2022-10-28 22:44:37 +00:00
|
|
|
|
2022-10-21 14:00:43 +00:00
|
|
|
for (const [name, factory] of Object.entries(this.commandFactories)) {
|
|
|
|
const fullName = `rust-analyzer.${name}`;
|
2022-10-28 22:44:37 +00:00
|
|
|
let callback;
|
|
|
|
if (isClientRunning(this)) {
|
|
|
|
// we asserted that `client` is defined
|
|
|
|
callback = factory.enabled(this);
|
|
|
|
} else if (factory.disabled) {
|
|
|
|
callback = factory.disabled(this);
|
|
|
|
} else {
|
|
|
|
callback = () =>
|
|
|
|
vscode.window.showErrorMessage(
|
|
|
|
`command ${fullName} failed: rust-analyzer server is not running`
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2022-10-21 14:00:43 +00:00
|
|
|
this.commandDisposables.push(vscode.commands.registerCommand(fullName, callback));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-10-28 21:10:10 +00:00
|
|
|
setServerStatus(status: ServerStatusParams | { health: "stopped" }) {
|
2021-04-06 11:16:35 +00:00
|
|
|
let icon = "";
|
2022-07-13 11:16:35 +00:00
|
|
|
const statusBar = this.statusBar;
|
2023-03-10 09:13:30 +00:00
|
|
|
statusBar.tooltip = new vscode.MarkdownString("", true);
|
|
|
|
statusBar.tooltip.isTrusted = true;
|
2021-04-06 11:16:35 +00:00
|
|
|
switch (status.health) {
|
|
|
|
case "ok":
|
2023-03-10 09:13:30 +00:00
|
|
|
statusBar.tooltip.appendText(status.message ?? "Ready");
|
2022-07-13 11:16:35 +00:00
|
|
|
statusBar.color = undefined;
|
|
|
|
statusBar.backgroundColor = undefined;
|
2023-03-13 11:32:53 +00:00
|
|
|
statusBar.command = "rust-analyzer.stopServer";
|
2020-07-02 10:37:04 +00:00
|
|
|
break;
|
2021-04-06 11:16:35 +00:00
|
|
|
case "warning":
|
2023-03-10 09:13:30 +00:00
|
|
|
if (status.message) {
|
|
|
|
statusBar.tooltip.appendText(status.message);
|
|
|
|
}
|
2022-07-13 11:16:35 +00:00
|
|
|
statusBar.color = new vscode.ThemeColor("statusBarItem.warningForeground");
|
|
|
|
statusBar.backgroundColor = new vscode.ThemeColor(
|
2022-05-26 10:31:07 +00:00
|
|
|
"statusBarItem.warningBackground"
|
|
|
|
);
|
2023-03-13 11:32:53 +00:00
|
|
|
statusBar.command = "rust-analyzer.openLogs";
|
2021-04-06 11:16:35 +00:00
|
|
|
icon = "$(warning) ";
|
|
|
|
break;
|
|
|
|
case "error":
|
2023-03-10 09:13:30 +00:00
|
|
|
if (status.message) {
|
|
|
|
statusBar.tooltip.appendText(status.message);
|
|
|
|
}
|
2022-07-13 11:16:35 +00:00
|
|
|
statusBar.color = new vscode.ThemeColor("statusBarItem.errorForeground");
|
|
|
|
statusBar.backgroundColor = new vscode.ThemeColor("statusBarItem.errorBackground");
|
2023-03-13 11:32:53 +00:00
|
|
|
statusBar.command = "rust-analyzer.openLogs";
|
2021-04-06 11:16:35 +00:00
|
|
|
icon = "$(error) ";
|
2020-07-02 10:37:04 +00:00
|
|
|
break;
|
2022-10-28 21:10:10 +00:00
|
|
|
case "stopped":
|
2023-03-10 09:13:30 +00:00
|
|
|
statusBar.tooltip.appendText("Server is stopped");
|
|
|
|
statusBar.tooltip.appendMarkdown(
|
|
|
|
"\n\n[Start server](command:rust-analyzer.startServer)"
|
|
|
|
);
|
2022-10-28 21:10:10 +00:00
|
|
|
statusBar.color = undefined;
|
|
|
|
statusBar.backgroundColor = undefined;
|
2023-03-13 11:32:53 +00:00
|
|
|
statusBar.command = "rust-analyzer.startServer";
|
2022-10-28 21:10:10 +00:00
|
|
|
statusBar.text = `$(stop-circle) rust-analyzer`;
|
|
|
|
return;
|
2020-07-02 10:37:04 +00:00
|
|
|
}
|
2023-03-10 09:13:30 +00:00
|
|
|
if (statusBar.tooltip.value) {
|
|
|
|
statusBar.tooltip.appendText("\n\n");
|
|
|
|
}
|
|
|
|
statusBar.tooltip.appendMarkdown(
|
|
|
|
"\n\n[Reload Workspace](command:rust-analyzer.reloadWorkspace)"
|
|
|
|
);
|
|
|
|
statusBar.tooltip.appendMarkdown("\n\n[Open logs](command:rust-analyzer.openLogs)");
|
2023-03-13 11:32:53 +00:00
|
|
|
statusBar.tooltip.appendMarkdown("\n\n[Restart server](command:rust-analyzer.startServer)");
|
|
|
|
statusBar.tooltip.appendMarkdown("[Stop server](command:rust-analyzer.stopServer)");
|
2021-04-06 11:16:35 +00:00
|
|
|
if (!status.quiescent) icon = "$(sync~spin) ";
|
2022-07-13 11:16:35 +00:00
|
|
|
statusBar.text = `${icon}rust-analyzer`;
|
2020-07-02 10:37:04 +00:00
|
|
|
}
|
|
|
|
|
2022-10-17 12:20:14 +00:00
|
|
|
pushExtCleanup(d: Disposable) {
|
2019-12-30 14:11:30 +00:00
|
|
|
this.extCtx.subscriptions.push(d);
|
2019-12-30 13:42:59 +00:00
|
|
|
}
|
2022-10-21 14:00:43 +00:00
|
|
|
|
|
|
|
private pushClientCleanup(d: Disposable) {
|
|
|
|
this.clientSubscriptions.push(d);
|
|
|
|
}
|
2019-12-30 13:42:59 +00:00
|
|
|
}
|
2019-12-30 13:53:43 +00:00
|
|
|
|
2020-02-02 21:23:01 +00:00
|
|
|
export interface Disposable {
|
|
|
|
dispose(): void;
|
|
|
|
}
|
2020-02-02 20:36:12 +00:00
|
|
|
export type Cmd = (...args: any[]) => unknown;
|