// ***************************************************************************** // 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 * as theia from '@theia/plugin'; import { Emitter } from '@theia/core'; import { UriComponents } from '../../common/uri-components'; import { NotebookCellsChangedEventDto, NotebookDocumentsExt } from '../../common'; import { NotebooksExtImpl } from './notebooks'; import { URI } from '../types-impl'; export type NotebookDocumentMetadata = Record; export class NotebookDocumentsExtImpl implements NotebookDocumentsExt { private readonly didSaveNotebookDocumentEmitter = new Emitter(); readonly onDidSaveNotebookDocument = this.didSaveNotebookDocumentEmitter.event; private readonly didChangeNotebookDocumentEmitter = new Emitter(); readonly onDidChangeNotebookDocument = this.didChangeNotebookDocumentEmitter.event; constructor( private readonly notebooksAndEditors: NotebooksExtImpl, ) { } $acceptModelChanged(uri: UriComponents, event: NotebookCellsChangedEventDto, isDirty: boolean, newMetadata?: NotebookDocumentMetadata): void { const document = this.notebooksAndEditors.getNotebookDocument(URI.from(uri)); const e = document.acceptModelChanged(event, isDirty, newMetadata); this.didChangeNotebookDocumentEmitter.fire(e); } $acceptDirtyStateChanged(uri: UriComponents, isDirty: boolean): void { const document = this.notebooksAndEditors.getNotebookDocument(URI.from(uri)); document.acceptDirty(isDirty); } $acceptModelSaved(uri: UriComponents): void { const document = this.notebooksAndEditors.getNotebookDocument(URI.from(uri)); this.didSaveNotebookDocumentEmitter.fire(document.apiNotebook); } }