// ***************************************************************************** // Copyright (C) 2023 TypeFox and others. // // This program and the accompanying materials are made available under the // terms of the Eclipse Public License v. 2.0 which is available at // http://www.eclipse.org/legal/epl-2.0. // // This Source Code may also be made available under the following Secondary // Licenses when the conditions for such availability set forth in the Eclipse // Public License v. 2.0 are satisfied: GNU General Public License, version 2 // with the GNU Classpath Exception which is available at // https://www.gnu.org/software/classpath/license.html. // // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0 // ***************************************************************************** /*--------------------------------------------------------------------------------------------- * Copyright (c) Microsoft Corporation. All rights reserved. * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ import { UriComponents, URI } from '@theia/core/lib/common/uri'; import { CellRange } from '@theia/notebook/lib/common'; import { NotebookEditorWidget, NotebookService } from '@theia/notebook/lib/browser'; import { MAIN_RPC_CONTEXT, NotebookDocumentShowOptions, NotebookEditorRevealType, NotebookEditorsExt, NotebookEditorsMain } from '../../../common'; import { RPCProtocol } from '../../../common/rpc-protocol'; import { interfaces } from '@theia/core/shared/inversify'; import { NotebookOpenHandler } from '@theia/notebook/lib/browser/notebook-open-handler'; export class NotebookEditorsMainImpl implements NotebookEditorsMain { protected readonly proxy: NotebookEditorsExt; protected readonly notebookService: NotebookService; protected readonly notebookOpenHandler: NotebookOpenHandler; protected readonly mainThreadEditors = new Map(); constructor( rpc: RPCProtocol, container: interfaces.Container ) { this.proxy = rpc.getProxy(MAIN_RPC_CONTEXT.NOTEBOOK_EDITORS_EXT); this.notebookService = container.get(NotebookService); this.notebookOpenHandler = container.get(NotebookOpenHandler); } async $tryShowNotebookDocument(uriComponents: UriComponents, viewType: string, options: NotebookDocumentShowOptions): Promise { const editor = await this.notebookOpenHandler.open(URI.fromComponents(uriComponents), { notebookType: viewType }); await editor.ready; return editor.id; } $tryRevealRange(id: string, range: CellRange, revealType: NotebookEditorRevealType): Promise { throw new Error('Method not implemented.'); } $trySetSelections(id: string, range: CellRange[]): void { if (!this.mainThreadEditors.has(id)) { throw new Error('Editor not found'); } const editor = this.mainThreadEditors.get(id); editor?.viewModel.setSelectedCell(editor.model!.cells[range[0].start]); } async handleEditorsAdded(editors: readonly NotebookEditorWidget[]): Promise { for (const editor of editors) { this.mainThreadEditors.set(editor.id, editor); const model = await editor.ready; editor.viewModel.onDidChangeSelectedCell(e => { const newCellIndex = e.cell ? model.cells.indexOf(e.cell) : -1; this.proxy.$acceptEditorPropertiesChanged(editor.id, { selections: { selections: newCellIndex >= 0 ? [{ start: newCellIndex, end: newCellIndex }] : [] } }); }); } } handleEditorsRemoved(editorIds: readonly string[]): void { for (const id of editorIds) { this.mainThreadEditors.get(id)?.dispose(); this.mainThreadEditors.delete(id); } } dispose(): void { } }