fix run button to execute REPL input box (#225259)

fix run button exe
This commit is contained in:
Aaron Munger 2024-08-09 09:32:30 -07:00 committed by GitHub
parent 25006fe8b1
commit 2d7e6c7bde
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 6 additions and 5 deletions

View file

@ -522,7 +522,7 @@ registerAction2(class extends Action2 {
}
if (editorControl && isReplEditor) {
executeReplInput(accessor, editorControl);
executeReplInput(bulkEditService, historyService, notebookEditorService, editorControl);
}
if (editorControl && editorControl.notebookEditor && editorControl.codeEditor) {

View file

@ -200,10 +200,11 @@ registerAction2(class extends Action2 {
}
});
export async function executeReplInput(accessor: ServicesAccessor, editorControl: { notebookEditor: NotebookEditorWidget | undefined; codeEditor: CodeEditorWidget }) {
const bulkEditService = accessor.get(IBulkEditService);
const historyService = accessor.get(IInteractiveHistoryService);
const notebookEditorService = accessor.get(INotebookEditorService);
export async function executeReplInput(
bulkEditService: IBulkEditService,
historyService: IInteractiveHistoryService,
notebookEditorService: INotebookEditorService,
editorControl: { notebookEditor: NotebookEditorWidget | undefined; codeEditor: CodeEditorWidget }) {
if (editorControl && editorControl.notebookEditor && editorControl.codeEditor) {
const notebookDocument = editorControl.notebookEditor.textModel;