aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlan Du <[email protected]>2019-01-15 16:15:51 +0000
committerAlan Du <[email protected]>2019-01-15 16:15:51 +0000
commit86775c14184c1dfaf90f4aecadb21f60f8f49eee (patch)
treebd6b7ab03a954a7808320314a6f207285b1bbcb0
parentca239ace932cb8cfa80ac01a9d4c599a8fd07560 (diff)
Prettier fix
-rw-r--r--editors/code/src/commands/apply_source_change.ts5
1 files changed, 4 insertions, 1 deletions
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) {
46 return; 46 return;
47 } 47 }
48 editor.selection = new vscode.Selection(position, position); 48 editor.selection = new vscode.Selection(position, position);
49 editor.revealRange(new vscode.Range(position, position), vscode.TextEditorRevealType.Default); 49 editor.revealRange(
50 new vscode.Range(position, position),
51 vscode.TextEditorRevealType.Default
52 );
50 } 53 }
51} 54}