rust/editors/code/src/extension.ts

97 lines
3.4 KiB
TypeScript
Raw Normal View History

2018-08-10 14:07:43 +02:00
import * as vscode from 'vscode';
2018-10-08 20:55:22 +02:00
import * as lc from 'vscode-languageclient';
2018-08-10 14:07:43 +02:00
2018-10-07 22:59:02 +02:00
import * as commands from './commands';
2018-10-07 22:44:25 +02:00
import { TextDocumentContentProvider } from './commands/syntaxTree';
2018-10-07 22:59:02 +02:00
import * as events from './events';
2018-10-08 20:55:22 +02:00
import * as notifications from './notifications';
2018-10-07 22:59:02 +02:00
import { Server } from './server';
2018-08-10 14:07:43 +02:00
export function activate(context: vscode.ExtensionContext) {
2018-10-07 22:44:25 +02:00
function disposeOnDeactivation(disposable: vscode.Disposable) {
2018-08-10 14:07:43 +02:00
context.subscriptions.push(disposable);
}
2018-08-22 09:18:58 +02:00
2018-10-07 22:44:25 +02:00
function registerCommand(name: string, f: any) {
2018-10-07 22:59:02 +02:00
disposeOnDeactivation(vscode.commands.registerCommand(name, f));
2018-10-07 22:44:25 +02:00
}
function overrideCommand(
name: string,
f: (...args: any[]) => Promise<boolean>
) {
const defaultCmd = `default:${name}`;
2018-10-12 08:59:12 +02:00
const original = (...args: any[]) =>
vscode.commands.executeCommand(defaultCmd, ...args);
try {
registerCommand(name, async (...args: any[]) => {
const editor = vscode.window.activeTextEditor;
if (
!editor ||
!editor.document ||
editor.document.languageId !== 'rust'
) {
return await original(...args);
}
if (!(await f(...args))) {
return await original(...args);
}
});
2019-01-13 00:49:07 +01:00
} catch (_) {
vscode.window.showWarningMessage(
'Enhanced typing feature is disabled because of incompatibility with VIM extension'
);
}
}
2018-08-27 19:58:38 +02:00
2018-10-08 20:55:22 +02:00
// Commands are requests from vscode to the language server
2018-10-07 22:59:02 +02:00
registerCommand('ra-lsp.syntaxTree', commands.syntaxTree.handle);
2018-10-07 22:44:25 +02:00
registerCommand('ra-lsp.extendSelection', commands.extendSelection.handle);
registerCommand('ra-lsp.matchingBrace', commands.matchingBrace.handle);
registerCommand('ra-lsp.joinLines', commands.joinLines.handle);
registerCommand('ra-lsp.parentModule', commands.parentModule.handle);
registerCommand('ra-lsp.run', commands.runnables.handle);
2018-10-08 23:38:33 +02:00
registerCommand(
'ra-lsp.applySourceChange',
commands.applySourceChange.handle
);
overrideCommand('type', commands.onEnter.handle);
2018-08-10 20:13:39 +02:00
2019-01-11 21:16:55 +01:00
// Unlike the above this does not send requests to the language server
2019-01-12 19:54:08 +01:00
registerCommand('ra-lsp.run-single', commands.runnables.handleSingle);
2019-01-11 21:16:55 +01:00
2018-10-08 20:55:22 +02:00
// Notifications are events triggered by the language server
2018-10-08 23:38:33 +02:00
const allNotifications: Iterable<
[string, lc.GenericNotificationHandler]
> = [['m/publishDecorations', notifications.publishDecorations.handle]];
2018-10-08 20:55:22 +02:00
// The events below are plain old javascript events, triggered and handled by vscode
2018-10-08 23:38:33 +02:00
vscode.window.onDidChangeActiveTextEditor(
events.changeActiveTextEditor.handle
);
2018-10-08 20:55:22 +02:00
2018-10-07 22:59:02 +02:00
const textDocumentContentProvider = new TextDocumentContentProvider();
2018-10-08 23:38:33 +02:00
disposeOnDeactivation(
vscode.workspace.registerTextDocumentContentProvider(
'ra-lsp',
textDocumentContentProvider
)
);
2018-08-10 14:07:43 +02:00
2018-10-07 22:44:25 +02:00
vscode.workspace.onDidChangeTextDocument(
events.changeTextDocument.createHandler(textDocumentContentProvider),
null,
2018-10-08 23:38:33 +02:00
context.subscriptions
);
2018-10-08 20:55:22 +02:00
// Start the language server, finally!
Server.start(allNotifications);
2018-08-17 18:54:08 +02:00
}
2018-08-10 14:07:43 +02:00
export function deactivate(): Thenable<void> {
2018-10-07 22:44:25 +02:00
if (!Server.client) {
2018-08-27 21:52:43 +02:00
return Promise.resolve();
2018-08-10 14:07:43 +02:00
}
2018-10-07 22:44:25 +02:00
return Server.client.stop();
2018-08-29 17:03:14 +02:00
}