diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts index d96ace9795..675a534c8f 100644 --- a/editors/code/src/commands/apply_source_change.ts +++ b/editors/code/src/commands/apply_source_change.ts @@ -10,7 +10,9 @@ export interface SourceChange { } export async function handle(change: SourceChange) { - const wsEdit = Server.client.protocol2CodeConverter.asWorkspaceEdit(change.workspaceEdit); + const wsEdit = Server.client.protocol2CodeConverter.asWorkspaceEdit( + change.workspaceEdit + ); let created; let moved; if (change.workspaceEdit.documentChanges) { diff --git a/editors/code/src/commands/on_enter.ts b/editors/code/src/commands/on_enter.ts index 64401b6840..bb376e3cb4 100644 --- a/editors/code/src/commands/on_enter.ts +++ b/editors/code/src/commands/on_enter.ts @@ -6,7 +6,6 @@ import { SourceChange } from './apply_source_change'; - export async function handle(event: { text: string }): Promise { const editor = vscode.window.activeTextEditor; if ( diff --git a/editors/code/src/commands/runnables.ts b/editors/code/src/commands/runnables.ts index f9a4e2fc93..aa5817c21f 100644 --- a/editors/code/src/commands/runnables.ts +++ b/editors/code/src/commands/runnables.ts @@ -48,7 +48,11 @@ function createTask(spec: Runnable): vscode.Task { cwd: '.', env: definition.env }; - const exec = new vscode.ShellExecution(definition.command, definition.args, execOption); + const exec = new vscode.ShellExecution( + definition.command, + definition.args, + execOption + ); const f = vscode.workspace.workspaceFolders![0]; const t = new vscode.Task( @@ -59,7 +63,7 @@ function createTask(spec: Runnable): vscode.Task { exec, ['$rustc'] ); - t.presentationOptions.clear = true + t.presentationOptions.clear = true; return t; } @@ -114,8 +118,8 @@ export async function handleSingle(runnable: Runnable) { task.group = vscode.TaskGroup.Build; task.presentationOptions = { reveal: vscode.TaskRevealKind.Always, - panel: vscode.TaskPanelKind.Dedicated, + panel: vscode.TaskPanelKind.Dedicated }; - + return vscode.tasks.executeTask(task); -} \ No newline at end of file +} diff --git a/editors/code/src/extension.ts b/editors/code/src/extension.ts index 9edfb13b5f..0098c94547 100644 --- a/editors/code/src/extension.ts +++ b/editors/code/src/extension.ts @@ -37,8 +37,10 @@ export function activate(context: vscode.ExtensionContext) { return await original(...args); } }); - } catch(_) { - vscode.window.showWarningMessage('Enhanced typing feature is disabled because of incompatibility with VIM extension'); + } catch (_) { + vscode.window.showWarningMessage( + 'Enhanced typing feature is disabled because of incompatibility with VIM extension' + ); } }