diff options
| author | Jeremy A. Kolb <[email protected]> | 2019-01-14 22:24:49 +0000 |
|---|---|---|
| committer | Jeremy A. Kolb <[email protected]> | 2019-01-14 22:24:49 +0000 |
| commit | cd21f0eadead4129bc2e91434e015c660e02c880 (patch) | |
| tree | 99068c97605a7e94295213d07532a2fec0ff7c72 /editors/code | |
| parent | e8e82ce032f8678929b015e6f70ac060bb2cf94c (diff) | |
Reveal the newly added source change in the editor.
Diffstat (limited to 'editors/code')
| -rw-r--r-- | editors/code/src/commands/apply_source_change.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts index 675a534c8..389061e3c 100644 --- a/editors/code/src/commands/apply_source_change.ts +++ b/editors/code/src/commands/apply_source_change.ts | |||
| @@ -46,5 +46,6 @@ 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 | } | 50 | } |
| 50 | } | 51 | } |