diff options
-rw-r--r-- | editors/code/src/extension.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/src/extension.ts b/editors/code/src/extension.ts index 2c42c07fe..c464ab5b2 100644 --- a/editors/code/src/extension.ts +++ b/editors/code/src/extension.ts | |||
@@ -77,6 +77,7 @@ export function activate(context: vscode.ExtensionContext) { | |||
77 | 77 | ||
78 | let doc = await vscode.workspace.openTextDocument(uri) | 78 | let doc = await vscode.workspace.openTextDocument(uri) |
79 | let e = await vscode.window.showTextDocument(doc) | 79 | let e = await vscode.window.showTextDocument(doc) |
80 | e.selection = new vscode.Selection(range.start, range.start) | ||
80 | e.revealRange(range, vscode.TextEditorRevealType.InCenter) | 81 | e.revealRange(range, vscode.TextEditorRevealType.InCenter) |
81 | }) | 82 | }) |
82 | 83 | ||