From f2d719b24afd404dbaf26332ff314a6161c74b71 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adolfo=20Ochagav=C3=ADa?= Date: Tue, 9 Oct 2018 22:56:15 +0200 Subject: Format vscode extension and add npm run fix --- editors/code/src/extension.ts | 21 +++++++++++++-------- 1 file changed, 13 insertions(+), 8 deletions(-) (limited to 'editors/code/src/extension.ts') diff --git a/editors/code/src/extension.ts b/editors/code/src/extension.ts index 3e5767535..ff8f23c7a 100644 --- a/editors/code/src/extension.ts +++ b/editors/code/src/extension.ts @@ -16,21 +16,26 @@ export function activate(context: vscode.ExtensionContext) { disposeOnDeactivation(vscode.commands.registerCommand(name, f)); } function overrideCommand( - name: string, - f: (...args: any[]) => Promise, + f: (...args: any[]) => Promise ) { const defaultCmd = `default:${name}`; - const original = async (...args: any[]) => await vscode.commands.executeCommand(defaultCmd, ...args); + const original = async (...args: any[]) => + await vscode.commands.executeCommand(defaultCmd, ...args); + registerCommand(name, async (...args: any[]) => { const editor = vscode.window.activeTextEditor; - if (!editor || !editor.document || editor.document.languageId !== 'rust') { + if ( + !editor || + !editor.document || + editor.document.languageId !== 'rust' + ) { return await original(...args); } - if (!await f(...args)) { + if (!(await f(...args))) { return await original(...args); } - }) + }); } // Commands are requests from vscode to the language server @@ -44,12 +49,12 @@ export function activate(context: vscode.ExtensionContext) { 'ra-lsp.applySourceChange', commands.applySourceChange.handle ); - overrideCommand('type', commands.on_enter.handle) + overrideCommand('type', commands.onEnter.handle); // Notifications are events triggered by the language server const allNotifications: Iterable< [string, lc.GenericNotificationHandler] - > = [['m/publishDecorations', notifications.publishDecorations.handle]]; + > = [['m/publishDecorations', notifications.publishDecorations.handle]]; // The events below are plain old javascript events, triggered and handled by vscode vscode.window.onDidChangeActiveTextEditor( -- cgit v1.2.3