nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-01-10 14:57:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge #545

Browse Source 
545: Reveal the newly added source change in the editor. r=matklad a=kjeremy

Fixes #543 

Co-authored-by: Jeremy A. Kolb <jkolb@ara.com>
This commit is contained in:
bors[bot] 2019-01-15 12:10:37 +00:00
commit 2184f7f142
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
editors/code/src/commands/apply_source_change.ts
View File

@ -46,5 +46,6 @@ export async function handle(change: SourceChange) {
return;
}
editor.selection = new vscode.Selection(position, position);
editor.revealRange(new vscode.Range(position, position), vscode.TextEditorRevealType.Default);
}
}