diff options
author | Alan Du <[email protected]> | 2019-01-15 16:15:51 +0000 |
---|---|---|
committer | Alan Du <[email protected]> | 2019-01-15 16:15:51 +0000 |
commit | 86775c14184c1dfaf90f4aecadb21f60f8f49eee (patch) | |
tree | bd6b7ab03a954a7808320314a6f207285b1bbcb0 | |
parent | ca239ace932cb8cfa80ac01a9d4c599a8fd07560 (diff) |
Prettier fix
-rw-r--r-- | editors/code/src/commands/apply_source_change.ts | 5 |
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 | } |