Pin the built-in interactive window on creation (#128789)

This commit is contained in:
Joyce Er 2021-07-15 12:44:28 -07:00 committed by GitHub
parent 8c3af963c3
commit 86696c96f1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -345,7 +345,7 @@ registerAction2(class extends Action2 {
const editorInput = InteractiveEditorInput.create(accessor.get(IInstantiationService), notebookUri, inputUri);
historyService.clearHistory(notebookUri);
await editorService.openEditor(editorInput, editorOptions, group);
await editorService.openEditor(editorInput, { ...editorOptions, pinned: true }, group);
// Extensions must retain references to these URIs to manipulate the interactive editor
return { notebookUri, inputUri };
}