Johannes Rieken 2020-10-01 10:43:13 +02:00
parent 7c20f5057a
commit 35d4bbf592

View file

@ -703,6 +703,7 @@ export class NotebookEditorWidget extends Disposable implements INotebookEditor
lineNumber: selection.startLineNumber,
column: selection.startColumn
});
await this.revealLineInCenterIfOutsideViewportAsync(cell, selection.startLineNumber);
}
if (!cellOptions.options?.preserveFocus) {
editor.focus();