@theia/plugin-ext 1.40.1 → 1.41.0

package/src/plugin/types-impl.ts

@@ -32,6 +32,7 @@ import { FileSystemProviderErrorCode, markAsFileSystemProviderError } from '@the
 import * as paths from 'path';
 import { es5ClassCompat } from '../common/types';
 import { isObject, isStringArray } from '@theia/core/lib/common';
+import { CellEditType, CellMetadataEdit, NotebookDocumentMetadataEdit } from '@theia/notebook/lib/common';
 
 /**
  * This is an implementation of #theia.Uri based on vscode-uri.
@@ -1130,6 +1131,31 @@ export enum NotebookEditorRevealType {
     InCenterIfOutsideViewport = 2,
     AtTop = 3
 }
+
+export enum NotebookCellExecutionState {
+    /**
+     * The cell is idle.
+     */
+    Idle = 1,
+    /**
+     * Execution for the cell is pending.
+     */
+    Pending = 2,
+    /**
+     * The cell is currently executing.
+     */
+    Executing = 3,
+}
+
+export class NotebookKernelSourceAction {
+    description?: string;
+    detail?: string;
+    command?: theia.Command;
+    constructor(
+        public label: string
+    ) { }
+}
+
 @es5ClassCompat
 export class NotebookCellData implements theia.NotebookCellData {
     languageId: string;
@@ -1140,23 +1166,34 @@ export class NotebookCellData implements theia.NotebookCellData {
     metadata?: { [key: string]: any };
     executionSummary?: theia.NotebookCellExecutionSummary;
 
-    constructor(kind: NotebookCellKind, value: string, languageId: string) {
+    constructor(kind: NotebookCellKind, value: string, languageId: string,
+        outputs?: theia.NotebookCellOutput[], metadata?: Record<string, unknown>, executionSummary?: theia.NotebookCellExecutionSummary) {
         this.kind = kind;
         this.value = value;
         this.languageId = languageId;
+        this.outputs = outputs ?? [];
+        this.metadata = metadata;
+        this.executionSummary = executionSummary;
     }
 }
 
 @es5ClassCompat
 export class NotebookCellOutput implements theia.NotebookCellOutput {
+    outputId: string;
     items: theia.NotebookCellOutputItem[];
     // eslint-disable-next-line @typescript-eslint/no-explicit-any
     metadata?: { [key: string]: any };
 
     // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    constructor(items: theia.NotebookCellOutputItem[], metadata?: { [key: string]: any }) {
+    constructor(items: theia.NotebookCellOutputItem[], idOrMetadata?: string | Record<string, any>, metadata?: { [key: string]: any }) {
         this.items = items;
-        this.metadata = metadata;
+        if (typeof idOrMetadata === 'string') {
+            this.outputId = idOrMetadata;
+            this.metadata = metadata;
+        } else {
+            this.outputId = UUID.uuid4();
+            this.metadata = idOrMetadata ?? metadata;
+        }
     }
 }
 
@@ -1227,41 +1264,18 @@ export class NotebookData implements theia.NotebookData {
     }
 }
 
-export class NotebookDocument implements theia.NotebookDocument {
-    readonly uri: theia.Uri;
-    readonly notebookType: string;
-    readonly version: number;
-    readonly isDirty: boolean;
-    readonly isUntitled: boolean;
-    readonly isClosed: boolean;
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    readonly metadata: { [key: string]: any };
-    readonly cellCount: number;
-
-    cellAt(index: number): theia.NotebookCell {
-        return {} as theia.NotebookCell;
-    }
-    save(): theia.Thenable<boolean> {
-        return Promise.resolve(false);
-    }
-
-    getCells(range?: theia.NotebookRange | undefined): theia.NotebookCell[] {
-        return [] as NotebookCell[];
+export class NotebookRange implements theia.NotebookRange {
+    static isNotebookRange(thing: unknown): thing is theia.NotebookRange {
+        if (thing instanceof NotebookRange) {
+            return true;
+        }
+        if (!thing) {
+            return false;
+        }
+        return typeof (<NotebookRange>thing).start === 'number'
+            && typeof (<NotebookRange>thing).end === 'number';
     }
-}
-export class NotebookCell implements theia.NotebookCell {
-    readonly index: number;
-    readonly notebook: theia.NotebookDocument;
-    readonly kind: theia.NotebookCellKind;
-    readonly document: theia.TextDocument;
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    readonly metadata: { readonly [key: string]: any; };
-    readonly outputs: readonly theia.NotebookCellOutput[];
-    readonly executionSummary: theia.NotebookCellExecutionSummary | undefined;
 
-}
-
-export class NotebookRange implements theia.NotebookRange {
     readonly start: number;
     readonly end: number;
     readonly isEmpty: boolean;
@@ -1322,27 +1336,58 @@ export class NotebookEdit implements theia.NotebookEdit {
     // eslint-disable-next-line @typescript-eslint/no-explicit-any
     newNotebookMetadata?: { [key: string]: any; } | undefined;
 
+    static isNotebookCellEdit(thing: unknown): thing is NotebookEdit {
+        if (thing instanceof NotebookEdit) {
+            return true;
+        }
+        if (!thing) {
+            return false;
+        }
+        return NotebookRange.isNotebookRange((<NotebookEdit>thing))
+            && Array.isArray((<NotebookEdit>thing).newCells);
+    }
+
     static replaceCells(range: NotebookRange, newCells: NotebookCellData[]): NotebookEdit {
-        return new NotebookEdit();
+        return new NotebookEdit(range, newCells);
     }
 
     static insertCells(index: number, newCells: NotebookCellData[]): NotebookEdit {
-        return new NotebookEdit();
+        return new NotebookEdit(new NotebookRange(index, index), newCells);
     }
 
     static deleteCells(range: NotebookRange): NotebookEdit {
-        return new NotebookEdit();
+        return new NotebookEdit(range, []);
     }
 
     // eslint-disable-next-line @typescript-eslint/no-explicit-any
     static updateCellMetadata(index: number, newCellMetadata: { [key: string]: any }): NotebookEdit {
-        return new NotebookEdit();
+        return new NotebookEdit(new NotebookRange(index, index), [], newCellMetadata);
     }
 
     // eslint-disable-next-line @typescript-eslint/no-explicit-any
     static updateNotebookMetadata(newNotebookMetadata: { [key: string]: any }): NotebookEdit {
-        return new NotebookEdit();
+        return new NotebookEdit(new NotebookRange(0, 0), [], undefined, newNotebookMetadata);
     }
+
+    constructor(range: NotebookRange, newCells: NotebookCellData[], newCellMetadata?: { [key: string]: unknown }, newNotebookMetadata?: { [key: string]: unknown }) {
+        this.range = range;
+        this.newCells = newCells;
+        this.newCellMetadata = newCellMetadata;
+        this.newNotebookMetadata = newNotebookMetadata;
+    }
+
+}
+
+export class NotebookRendererScript implements theia.NotebookRendererScript {
+    provides: readonly string[];
+
+    constructor(
+        public uri: theia.Uri,
+        provides?: string | readonly string[]
+    ) {
+        this.provides = Array.isArray(provides) ? provides : [provides];
+    };
+
 }
 
 @es5ClassCompat
@@ -1681,6 +1726,9 @@ export interface WorkspaceEditMetadata {
 export const enum FileEditType {
     File = 1,
     Text = 2,
+    // eslint-disable-next-line @typescript-eslint/no-shadow
+    Cell = 3,
+    CellReplace = 5,
     Snippet = 6,
 }
 
@@ -1707,7 +1755,24 @@ export interface FileSnippetTextEdit {
     readonly metadata?: theia.WorkspaceEditEntryMetadata;
 }
 
-type WorkspaceEditEntry = FileOperation | FileTextEdit | FileSnippetTextEdit | undefined;
+export interface FileCellEdit {
+    readonly _type: FileEditType.Cell;
+    readonly uri: URI;
+    readonly edit?: CellMetadataEdit | NotebookDocumentMetadataEdit;
+    readonly notebookMetadata?: Record<string, unknown>;
+    readonly metadata?: theia.WorkspaceEditEntryMetadata;
+}
+
+export interface CellEdit {
+    readonly _type: FileEditType.CellReplace;
+    readonly metadata?: theia.WorkspaceEditEntryMetadata;
+    readonly uri: URI;
+    readonly index: number;
+    readonly count: number;
+    readonly cells: theia.NotebookCellData[];
+}
+
+type WorkspaceEditEntry = FileOperation | FileTextEdit | FileSnippetTextEdit | FileCellEdit | CellEdit | undefined;
 
 @es5ClassCompat
 export class WorkspaceEdit implements theia.WorkspaceEdit {
@@ -1749,8 +1814,12 @@ export class WorkspaceEdit implements theia.WorkspaceEdit {
 
     set(uri: URI, edits: ReadonlyArray<TextEdit | SnippetTextEdit>): void;
     set(uri: URI, edits: ReadonlyArray<[TextEdit | SnippetTextEdit, theia.WorkspaceEditEntryMetadata]>): void;
+    set(uri: URI, edits: ReadonlyArray<NotebookEdit>): void;
+    set(uri: URI, edits: ReadonlyArray<[NotebookEdit, theia.WorkspaceEditEntryMetadata]>): void;
 
-    set(uri: URI, edits: ReadonlyArray<TextEdit | SnippetTextEdit | [TextEdit | SnippetTextEdit, theia.WorkspaceEditEntryMetadata]>): void {
+    set(uri: URI, edits: ReadonlyArray<TextEdit | SnippetTextEdit
+        | NotebookEdit | [NotebookEdit, theia.WorkspaceEditEntryMetadata]
+        | [TextEdit | SnippetTextEdit, theia.WorkspaceEditEntryMetadata]>): void {
         if (!edits) {
             // remove all text edits for `uri`
             for (let i = 0; i < this._edits.length; i++) {
@@ -1769,7 +1838,7 @@ export class WorkspaceEdit implements theia.WorkspaceEdit {
                     continue;
                 }
 
-                let edit: TextEdit | SnippetTextEdit;
+                let edit: TextEdit | SnippetTextEdit | NotebookEdit;
                 let metadata: theia.WorkspaceEditEntryMetadata | undefined;
                 if (Array.isArray(editOrTuple)) {
                     edit = editOrTuple[0];
@@ -1778,7 +1847,27 @@ export class WorkspaceEdit implements theia.WorkspaceEdit {
                     edit = editOrTuple;
                 }
 
-                if (SnippetTextEdit.isSnippetTextEdit(edit)) {
+                if (NotebookEdit.isNotebookCellEdit(edit)) {
+                    if (edit.newCellMetadata) {
+                        this._edits.push({
+                            _type: FileEditType.Cell, metadata, uri,
+                            edit: { editType: CellEditType.Metadata, index: edit.range.start, metadata: edit.newCellMetadata }
+                        });
+                    } else if (edit.newNotebookMetadata) {
+                        this._edits.push({
+                            _type: FileEditType.Cell, metadata, uri,
+                            edit: { editType: CellEditType.DocumentMetadata, metadata: edit.newNotebookMetadata }, notebookMetadata: edit.newNotebookMetadata
+                        });
+                    } else {
+                        const start = edit.range.start;
+                        const end = edit.range.end;
+
+                        if (start !== end || edit.newCells.length > 0) {
+                            this._edits.push({ _type: FileEditType.CellReplace, uri, index: start, count: end - start, cells: edit.newCells, metadata });
+                        }
+                    }
+
+                } else if (SnippetTextEdit.isSnippetTextEdit(edit)) {
                     this._edits.push({ _type: FileEditType.Snippet, uri, range: edit.range, edit, metadata });
                 } else {
                     this._edits.push({ _type: FileEditType.Text, uri, edit });
@@ -1817,19 +1906,23 @@ export class WorkspaceEdit implements theia.WorkspaceEdit {
         return result;
     }
 
-    _allEntries(): ([URI, Array<TextEdit | SnippetTextEdit>, theia.WorkspaceEditEntryMetadata] | [URI, URI, FileOperationOptions, WorkspaceEditMetadata])[] {
-        const res: ([URI, Array<TextEdit | SnippetTextEdit>, theia.WorkspaceEditEntryMetadata] | [URI, URI, FileOperationOptions, WorkspaceEditMetadata])[] = [];
-        for (const edit of this._edits) {
-            if (!edit) {
-                continue;
-            }
-            if (edit._type === FileEditType.File) {
-                res.push([edit.from!, edit.to!, edit.options!, edit.metadata!]);
-            } else {
-                res.push([edit.uri, [edit.edit], edit.metadata!]);
-            }
-        }
-        return res;
+    // _allEntries(): ([URI, Array<TextEdit | SnippetTextEdit>, theia.WorkspaceEditEntryMetadata] | [URI, URI, FileOperationOptions, WorkspaceEditMetadata])[] {
+    //     const res: ([URI, Array<TextEdit | SnippetTextEdit>, theia.WorkspaceEditEntryMetadata] | [URI, URI, FileOperationOptions, WorkspaceEditMetadata])[] = [];
+    //     for (const edit of this._edits) {
+    //         if (!edit) {
+    //             continue;
+    //         }
+    //         if (edit._type === FileEditType.File) {
+    //             res.push([edit.from!, edit.to!, edit.options!, edit.metadata!]);
+    //         } else {
+    //             res.push([edit.uri, [edit.edit], edit.metadata!]);
+    //         }
+    //     }
+    //     return res;
+    // }
+
+    _allEntries(): ReadonlyArray<WorkspaceEditEntry> {
+        return this._edits;
     }
 
     get size(): number {
@@ -1908,6 +2001,12 @@ export class TreeItem {
 
     contextValue?: string;
 
+    checkboxState?: theia.TreeItemCheckboxState | {
+        readonly state: theia.TreeItemCheckboxState;
+        readonly tooltip?: string;
+        readonly accessibilityInformation?: AccessibilityInformation
+    };
+
     constructor(label: string | theia.TreeItemLabel, collapsibleState?: theia.TreeItemCollapsibleState)
     constructor(resourceUri: URI, collapsibleState?: theia.TreeItemCollapsibleState)
     constructor(arg1: string | theia.TreeItemLabel | URI, public collapsibleState: theia.TreeItemCollapsibleState = TreeItemCollapsibleState.None) {
@@ -1925,6 +2024,11 @@ export enum TreeItemCollapsibleState {
     Expanded = 2
 }
 
+export enum TreeItemCheckboxState {
+    Unchecked = 0,
+    Checked = 1
+}
+
 export enum SymbolTag {
     Deprecated = 1
 }

package/lib/main/browser/custom-editors/undo-redo-service.d.ts

@@ -1,24 +0,0 @@
-import URI from '@theia/core/lib/common/uri';
-export declare class UndoRedoService {
-    private readonly editStacks;
-    pushElement(resource: URI, undo: () => Promise<void>, redo: () => Promise<void>): void;
-    removeElements(resource: URI): void;
-    undo(resource: URI): void;
-    redo(resource: URI): void;
-}
-interface StackElement {
-    undo(): Promise<void> | void;
-    redo(): Promise<void> | void;
-}
-export declare class ResourceEditStack {
-    private past;
-    private future;
-    constructor();
-    pushElement(element: StackElement): void;
-    getClosestPastElement(): StackElement | null;
-    getClosestFutureElement(): StackElement | null;
-    moveBackward(element: StackElement): void;
-    moveForward(element: StackElement): void;
-}
-export {};
-//# sourceMappingURL=undo-redo-service.d.ts.map

package/lib/main/browser/custom-editors/undo-redo-service.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"undo-redo-service.d.ts","sourceRoot":"","sources":["../../../../src/main/browser/custom-editors/undo-redo-service.ts"],"names":[],"mappings":"AAsBA,OAAO,GAAG,MAAM,4BAA4B,CAAC;AAE7C,qBACa,eAAe;IACxB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAwC;IAEnE,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI;IAYtF,cAAc,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI;IAMnC,IAAI,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI;IAezB,IAAI,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI;CAc5B;AAED,UAAU,YAAY;IAClB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CAChC;AAED,qBAAa,iBAAiB;IAC1B,OAAO,CAAC,IAAI,CAAiB;IAC7B,OAAO,CAAC,MAAM,CAAiB;;IAO/B,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI;IAKxC,qBAAqB,IAAI,YAAY,GAAG,IAAI;IAO5C,uBAAuB,IAAI,YAAY,GAAG,IAAI;IAO9C,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI;IAKzC,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI;CAI3C"}

package/lib/main/browser/custom-editors/undo-redo-service.js

@@ -1,111 +0,0 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2021 SAP SE or an SAP affiliate company 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.
- *--------------------------------------------------------------------------------------------*/
-// copied and modified from https://github.com/microsoft/vscode/blob/53eac52308c4611000a171cc7bf1214293473c78/src/vs/platform/undoRedo/common/undoRedoService.ts#
-var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ResourceEditStack = exports.UndoRedoService = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-let UndoRedoService = class UndoRedoService {
-    constructor() {
-        this.editStacks = new Map();
-    }
-    pushElement(resource, undo, redo) {
-        let editStack;
-        if (this.editStacks.has(resource.toString())) {
-            editStack = this.editStacks.get(resource.toString());
-        }
-        else {
-            editStack = new ResourceEditStack();
-            this.editStacks.set(resource.toString(), editStack);
-        }
-        editStack.pushElement({ undo, redo });
-    }
-    removeElements(resource) {
-        if (this.editStacks.has(resource.toString())) {
-            this.editStacks.delete(resource.toString());
-        }
-    }
-    undo(resource) {
-        if (!this.editStacks.has(resource.toString())) {
-            return;
-        }
-        const editStack = this.editStacks.get(resource.toString());
-        const element = editStack.getClosestPastElement();
-        if (!element) {
-            return;
-        }
-        editStack.moveBackward(element);
-        element.undo();
-    }
-    redo(resource) {
-        if (!this.editStacks.has(resource.toString())) {
-            return;
-        }
-        const editStack = this.editStacks.get(resource.toString());
-        const element = editStack.getClosestFutureElement();
-        if (!element) {
-            return;
-        }
-        editStack.moveForward(element);
-        element.redo();
-    }
-};
-UndoRedoService = __decorate([
-    (0, inversify_1.injectable)()
-], UndoRedoService);
-exports.UndoRedoService = UndoRedoService;
-class ResourceEditStack {
-    constructor() {
-        this.past = [];
-        this.future = [];
-    }
-    pushElement(element) {
-        this.future = [];
-        this.past.push(element);
-    }
-    getClosestPastElement() {
-        if (this.past.length === 0) {
-            return null;
-        }
-        return this.past[this.past.length - 1];
-    }
-    getClosestFutureElement() {
-        if (this.future.length === 0) {
-            return null;
-        }
-        return this.future[this.future.length - 1];
-    }
-    moveBackward(element) {
-        this.past.pop();
-        this.future.push(element);
-    }
-    moveForward(element) {
-        this.future.pop();
-        this.past.push(element);
-    }
-}
-exports.ResourceEditStack = ResourceEditStack;
-//# sourceMappingURL=undo-redo-service.js.map

package/lib/main/browser/custom-editors/undo-redo-service.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"undo-redo-service.js","sourceRoot":"","sources":["../../../../src/main/browser/custom-editors/undo-redo-service.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,oEAAoE;AACpE,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF;;;gGAGgG;AAChG,iKAAiK;;;;;;;;;AAEjK,4DAA0D;AAI1D,IAAa,eAAe,GAA5B,MAAa,eAAe;IAA5B;QACqB,eAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IAiDvE,CAAC;IA/CG,WAAW,CAAC,QAAa,EAAE,IAAyB,EAAE,IAAyB;QAC3E,IAAI,SAA4B,CAAC;QACjC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE;YAC1C,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAE,CAAC;SACzD;aAAM;YACH,SAAS,GAAG,IAAI,iBAAiB,EAAE,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,SAAS,CAAC,CAAC;SACvD;QAED,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,cAAc,CAAC,QAAa;QACxB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE;YAC1C,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;SAC/C;IACL,CAAC;IAED,IAAI,CAAC,QAAa;QACd,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE;YAC3C,OAAO;SACV;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,SAAS,CAAC,qBAAqB,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,EAAE;YACV,OAAO;SACV;QAED,SAAS,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAChC,OAAO,CAAC,IAAI,EAAE,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,QAAa;QACd,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE;YAC3C,OAAO;SACV;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,SAAS,CAAC,uBAAuB,EAAE,CAAC;QACpD,IAAI,CAAC,OAAO,EAAE;YACV,OAAO;SACV;QAED,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC/B,OAAO,CAAC,IAAI,EAAE,CAAC;IACnB,CAAC;CACJ,CAAA;AAlDY,eAAe;IAD3B,IAAA,sBAAU,GAAE;GACA,eAAe,CAkD3B;AAlDY,0CAAe;AAyD5B,MAAa,iBAAiB;IAI1B;QACI,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACf,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;IACrB,CAAC;IAED,WAAW,CAAC,OAAqB;QAC7B,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IAED,qBAAqB;QACjB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;YACxB,OAAO,IAAI,CAAC;SACf;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,CAAC;IAED,uBAAuB;QACnB,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;YAC1B,OAAO,IAAI,CAAC;SACf;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,YAAY,CAAC,OAAqB;QAC9B,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,WAAW,CAAC,OAAqB;QAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;CACJ;AArCD,8CAqCC"}

package/src/main/browser/custom-editors/undo-redo-service.ts

@@ -1,120 +0,0 @@
-// *****************************************************************************
-// Copyright (C) 2021 SAP SE or an SAP affiliate company 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.
- *--------------------------------------------------------------------------------------------*/
-// copied and modified from https://github.com/microsoft/vscode/blob/53eac52308c4611000a171cc7bf1214293473c78/src/vs/platform/undoRedo/common/undoRedoService.ts#
-
-import { injectable } from '@theia/core/shared/inversify';
-import URI from '@theia/core/lib/common/uri';
-
-@injectable()
-export class UndoRedoService {
-    private readonly editStacks = new Map<string, ResourceEditStack>();
-
-    pushElement(resource: URI, undo: () => Promise<void>, redo: () => Promise<void>): void {
-        let editStack: ResourceEditStack;
-        if (this.editStacks.has(resource.toString())) {
-            editStack = this.editStacks.get(resource.toString())!;
-        } else {
-            editStack = new ResourceEditStack();
-            this.editStacks.set(resource.toString(), editStack);
-        }
-
-        editStack.pushElement({ undo, redo });
-    }
-
-    removeElements(resource: URI): void {
-        if (this.editStacks.has(resource.toString())) {
-            this.editStacks.delete(resource.toString());
-        }
-    }
-
-    undo(resource: URI): void {
-        if (!this.editStacks.has(resource.toString())) {
-            return;
-        }
-
-        const editStack = this.editStacks.get(resource.toString())!;
-        const element = editStack.getClosestPastElement();
-        if (!element) {
-            return;
-        }
-
-        editStack.moveBackward(element);
-        element.undo();
-    }
-
-    redo(resource: URI): void {
-        if (!this.editStacks.has(resource.toString())) {
-            return;
-        }
-
-        const editStack = this.editStacks.get(resource.toString())!;
-        const element = editStack.getClosestFutureElement();
-        if (!element) {
-            return;
-        }
-
-        editStack.moveForward(element);
-        element.redo();
-    }
-}
-
-interface StackElement {
-    undo(): Promise<void> | void;
-    redo(): Promise<void> | void;
-}
-
-export class ResourceEditStack {
-    private past: StackElement[];
-    private future: StackElement[];
-
-    constructor() {
-        this.past = [];
-        this.future = [];
-    }
-
-    pushElement(element: StackElement): void {
-        this.future = [];
-        this.past.push(element);
-    }
-
-    getClosestPastElement(): StackElement | null {
-        if (this.past.length === 0) {
-            return null;
-        }
-        return this.past[this.past.length - 1];
-    }
-
-    getClosestFutureElement(): StackElement | null {
-        if (this.future.length === 0) {
-            return null;
-        }
-        return this.future[this.future.length - 1];
-    }
-
-    moveBackward(element: StackElement): void {
-        this.past.pop();
-        this.future.push(element);
-    }
-
-    moveForward(element: StackElement): void {
-        this.future.pop();
-        this.past.push(element);
-    }
-}