From 86775c14184c1dfaf90f4aecadb21f60f8f49eee Mon Sep 17 00:00:00 2001 From: Alan Du Date: Tue, 15 Jan 2019 11:15:51 -0500 Subject: Prettier fix --- editors/code/src/commands/apply_source_change.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'editors') diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts index 389061e3c..dcd074b8b 100644 --- a/editors/code/src/commands/apply_source_change.ts +++ b/editors/code/src/commands/apply_source_change.ts @@ -46,6 +46,9 @@ export async function handle(change: SourceChange) { return; } editor.selection = new vscode.Selection(position, position); - editor.revealRange(new vscode.Range(position, position), vscode.TextEditorRevealType.Default); + editor.revealRange( + new vscode.Range(position, position), + vscode.TextEditorRevealType.Default + ); } } -- cgit v1.2.3