@codingame/monaco-vscode-api 25.1.2 → 26.0.1

package/vscode/src/vs/workbench/common/editor/editorGroupModel.js

@@ -12,13 +12,13 @@ import { coalesce } from '../../../base/common/arrays.js';
 
 var EditorGroupModel_1;
 const EditorOpenPositioning = {
-    LEFT: 'left',
-    FIRST: 'first',
-    LAST: 'last'
+    LEFT: "left",
+    FIRST: "first",
+    LAST: "last"
 };
 function isSerializedEditorGroupModel(group) {
     const candidate = group;
-    return !!(candidate && typeof candidate === 'object' && Array.isArray(candidate.editors) && Array.isArray(candidate.mru));
+    return !!(candidate && typeof candidate === "object" && Array.isArray(candidate.editors) && Array.isArray(candidate.mru));
 }
 function isGroupEditorOpenEvent(e) {
     const candidate = e;
@@ -33,9 +33,15 @@ function isGroupEditorCloseEvent(e) {
     return candidate.kind === GroupModelChangeKind.EDITOR_CLOSE && candidate.editorIndex !== undefined && candidate.context !== undefined && candidate.sticky !== undefined;
 }
 let EditorGroupModel = class EditorGroupModel extends Disposable {
-    static { EditorGroupModel_1 = this; }
-    static { this.IDS = 0; }
-    get id() { return this._id; }
+    static {
+        EditorGroupModel_1 = this;
+    }
+    static {
+        this.IDS = 0;
+    }
+    get id() {
+        return this._id;
+    }
     get active() {
         return this.selection[0] ?? null;
     }
@@ -43,9 +49,9 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         super();
         this.instantiationService = instantiationService;
         this.configurationService = configurationService;
-        this._onDidModelChange = this._register(( new Emitter(
-            { leakWarningThreshold: 500  }
-        )));
+        this._onDidModelChange = this._register(( new Emitter({
+            leakWarningThreshold: 500
+        })));
         this.onDidModelChange = this._onDidModelChange.event;
         this.editors = [];
         this.mru = [];
@@ -57,22 +63,23 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         this.transient = ( new Set());
         if (isSerializedEditorGroupModel(labelOrSerializedGroup)) {
             this._id = this.deserialize(labelOrSerializedGroup);
-        }
-        else {
+        } else {
             this._id = EditorGroupModel_1.IDS++;
         }
         this.onConfigurationUpdated();
         this.registerListeners();
     }
     registerListeners() {
-        this._register(this.configurationService.onDidChangeConfiguration(e => this.onConfigurationUpdated(e)));
+        this._register(
+            this.configurationService.onDidChangeConfiguration(e => this.onConfigurationUpdated(e))
+        );
     }
     onConfigurationUpdated(e) {
-        if (e && !e.affectsConfiguration('workbench.editor.openPositioning') && !e.affectsConfiguration('workbench.editor.focusRecentEditorAfterClose')) {
+        if (e && !e.affectsConfiguration("workbench.editor.openPositioning") && !e.affectsConfiguration("workbench.editor.focusRecentEditorAfterClose")) {
             return;
         }
-        this.editorOpenPositioning = this.configurationService.getValue('workbench.editor.openPositioning');
-        this.focusRecentEditorAfterClose = this.configurationService.getValue('workbench.editor.focusRecentEditorAfterClose');
+        this.editorOpenPositioning = this.configurationService.getValue("workbench.editor.openPositioning");
+        this.focusRecentEditorAfterClose = this.configurationService.getValue("workbench.editor.focusRecentEditorAfterClose");
     }
     get count() {
         return this.editors.length;
@@ -103,7 +110,7 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         return this.preview;
     }
     openEditor(candidate, options) {
-        const makeSticky = options?.sticky || (typeof options?.index === 'number' && this.isSticky(options.index));
+        const makeSticky = options?.sticky || (typeof options?.index === "number" && this.isSticky(options.index));
         const makePinned = options?.pinned || options?.sticky;
         const makeTransient = !!options?.transient;
         const makeActive = options?.active || !this.activeEditor || (!makePinned && this.preview === this.activeEditor);
@@ -112,7 +119,7 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
             const newEditor = candidate;
             const indexOfActive = this.indexOf(this.active);
             let targetIndex;
-            if (options && typeof options.index === 'number') {
+            if (options && typeof options.index === "number") {
                 targetIndex = options.index;
             }
             else if (this.editorOpenPositioning === EditorOpenPositioning.FIRST) {
@@ -128,8 +135,7 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
                 if (this.editorOpenPositioning === EditorOpenPositioning.LEFT) {
                     if (indexOfActive === 0 || !this.editors.length) {
                         targetIndex = 0;
-                    }
-                    else {
+                    } else {
                         targetIndex = indexOfActive;
                     }
                 }
@@ -169,7 +175,10 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
                 editorIndex: targetIndex
             };
             this._onDidModelChange.fire(event);
-            this.setSelection(makeActive ? newEditor : this.activeEditor, options?.inactiveSelection ?? []);
+            this.setSelection(
+                makeActive ? newEditor : this.activeEditor,
+                options?.inactiveSelection ?? []
+            );
             return {
                 editor: newEditor,
                 isNew: true
@@ -177,12 +186,19 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         }
         else {
             const [existingEditor, existingEditorIndex] = existingEditorAndIndex;
-            this.doSetTransient(existingEditor, existingEditorIndex, makeTransient === false ? false : this.isTransient(existingEditor));
+            this.doSetTransient(
+                existingEditor,
+                existingEditorIndex,
+                makeTransient === false ? false : this.isTransient(existingEditor)
+            );
             if (makePinned) {
                 this.doPin(existingEditor, existingEditorIndex);
             }
-            this.setSelection(makeActive ? existingEditor : this.activeEditor, options?.inactiveSelection ?? []);
-            if (options && typeof options.index === 'number') {
+            this.setSelection(
+                makeActive ? existingEditor : this.activeEditor,
+                options?.inactiveSelection ?? []
+            );
+            if (options && typeof options.index === "number") {
                 this.moveEditor(existingEditor, options.index);
             }
             if (makeSticky) {
@@ -275,12 +291,10 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
                 let newActive;
                 if (this.focusRecentEditorAfterClose) {
                     newActive = this.mru[1];
-                }
-                else {
+                } else {
                     if (index === this.editors.length - 1) {
                         newActive = this.editors[index - 1];
-                    }
-                    else {
+                    } else {
                         newActive = this.editors[index + 1];
                     }
                 }
@@ -294,7 +308,11 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         else if (!isActiveEditor) {
             if (this.doIsSelected(editor)) {
                 const newInactiveSelectedEditors = this.selection.filter(selected => selected !== editor && selected !== this.activeEditor);
-                this.doSetSelection(this.activeEditor, this.indexOf(this.activeEditor), newInactiveSelectedEditors);
+                this.doSetSelection(
+                    this.activeEditor,
+                    this.indexOf(this.activeEditor),
+                    newInactiveSelectedEditors
+                );
             }
         }
         if (this.preview === editor) {
@@ -302,13 +320,17 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         }
         this.transient.delete(editor);
         this.splice(index, true);
-        return { editor, sticky, editorIndex: index, context };
+        return {
+            editor,
+            sticky,
+            editorIndex: index,
+            context
+        };
     }
     moveEditor(candidate, toIndex) {
         if (toIndex >= this.editors.length) {
             toIndex = this.editors.length - 1;
-        }
-        else if (toIndex < 0) {
+        } else if (toIndex < 0) {
             toIndex = 0;
         }
         const index = this.indexOf(candidate);
@@ -346,14 +368,15 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         let result;
         if (!candidate) {
             this.setGroupActive();
-        }
-        else {
+        } else {
             result = this.setEditorActive(candidate);
         }
         return result;
     }
     setGroupActive() {
-        this._onDidModelChange.fire({ kind: GroupModelChangeKind.GROUP_ACTIVE });
+        this._onDidModelChange.fire({
+            kind: GroupModelChangeKind.GROUP_ACTIVE
+        });
     }
     setEditorActive(candidate) {
         const res = this.findEditor(candidate);
@@ -369,10 +392,9 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
     }
     isSelected(editorCandidateOrIndex) {
         let editor;
-        if (typeof editorCandidateOrIndex === 'number') {
+        if (typeof editorCandidateOrIndex === "number") {
             editor = this.editors[editorCandidateOrIndex];
-        }
-        else {
+        } else {
             editor = this.findEditor(editorCandidateOrIndex)?.[0];
         }
         return !!editor && this.doIsSelected(editor);
@@ -398,7 +420,11 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
             }
             inactiveSelectedEditors.add(inactiveSelectedEditor);
         }
-        this.doSetSelection(activeSelectedEditor, activeSelectedEditorIndex, Array.from(inactiveSelectedEditors));
+        this.doSetSelection(
+            activeSelectedEditor,
+            activeSelectedEditorIndex,
+            Array.from(inactiveSelectedEditors)
+        );
     }
     doSetSelection(activeSelectedEditor, activeSelectedEditorIndex, inactiveSelectedEditors) {
         const previousActiveEditor = this.activeEditor;
@@ -406,12 +432,11 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         let newSelection;
         if (activeSelectedEditor) {
             newSelection = [activeSelectedEditor, ...inactiveSelectedEditors];
-        }
-        else {
+        } else {
             newSelection = [];
         }
         this.selection = newSelection;
-        const activeEditorChanged = activeSelectedEditor && typeof activeSelectedEditorIndex === 'number' && previousActiveEditor !== activeSelectedEditor;
+        const activeEditorChanged = activeSelectedEditor && typeof activeSelectedEditorIndex === "number" && previousActiveEditor !== activeSelectedEditor;
         if (activeEditorChanged) {
             const mruIndex = this.indexOf(activeSelectedEditor, this.mru);
             this.mru.splice(mruIndex, 1);
@@ -423,9 +448,7 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
             };
             this._onDidModelChange.fire(event);
         }
-        if (activeEditorChanged ||
-            previousSelection.length !== newSelection.length ||
-            ( previousSelection.some(editor => !newSelection.includes(editor)))) {
+        if (activeEditorChanged || previousSelection.length !== newSelection.length || ( previousSelection.some(editor => !newSelection.includes(editor)))) {
             const event = {
                 kind: GroupModelChangeKind.EDITORS_SELECTION
             };
@@ -433,10 +456,14 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         }
     }
     setIndex(index) {
-        this._onDidModelChange.fire({ kind: GroupModelChangeKind.GROUP_INDEX });
+        this._onDidModelChange.fire({
+            kind: GroupModelChangeKind.GROUP_INDEX
+        });
     }
     setLabel(label) {
-        this._onDidModelChange.fire({ kind: GroupModelChangeKind.GROUP_LABEL });
+        this._onDidModelChange.fire({
+            kind: GroupModelChangeKind.GROUP_LABEL
+        });
     }
     pin(candidate) {
         const res = this.findEditor(candidate);
@@ -487,10 +514,9 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
     }
     isPinned(editorCandidateOrIndex) {
         let editor;
-        if (typeof editorCandidateOrIndex === 'number') {
+        if (typeof editorCandidateOrIndex === "number") {
             editor = this.editors[editorCandidateOrIndex];
-        }
-        else {
+        } else {
             editor = editorCandidateOrIndex;
         }
         return !this.matches(this.preview, editor);
@@ -547,10 +573,9 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
             return false;
         }
         let index;
-        if (typeof candidateOrIndex === 'number') {
+        if (typeof candidateOrIndex === "number") {
             index = candidateOrIndex;
-        }
-        else {
+        } else {
             index = this.indexOf(candidateOrIndex);
         }
         if (index < 0) {
@@ -576,8 +601,7 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
                 return;
             }
             this.transient.add(editor);
-        }
-        else {
+        } else {
             if (!( this.transient.has(editor))) {
                 return;
             }
@@ -595,10 +619,9 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
             return false;
         }
         let editor;
-        if (typeof editorCandidateOrIndex === 'number') {
+        if (typeof editorCandidateOrIndex === "number") {
             editor = this.editors[editorCandidateOrIndex];
-        }
-        else {
+        } else {
             editor = this.findEditor(editorCandidateOrIndex)?.[0];
         }
         return !!editor && ( this.transient.has(editor));
@@ -610,16 +633,14 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         }
         if (editor) {
             this.editors.splice(index, del ? 1 : 0, editor);
-        }
-        else {
+        } else {
             this.editors.splice(index, del ? 1 : 0);
         }
         {
             if (!del && editor) {
                 if (this.mru.length === 0) {
                     this.mru.push(editor);
-                }
-                else {
+                } else {
                     this.mru.splice(1, 0, editor);
                 }
             }
@@ -644,8 +665,7 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
             if (this.matches(editor, candidate, options)) {
                 if (options?.supportSideBySide && editor instanceof SideBySideEditorInput && !(candidate instanceof SideBySideEditorInput)) {
                     index = i;
-                }
-                else {
+                } else {
                     index = i;
                     break;
                 }
@@ -675,16 +695,16 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         }
         if (options?.supportSideBySide && editor instanceof SideBySideEditorInput && !(candidate instanceof SideBySideEditorInput)) {
             switch (options.supportSideBySide) {
-                case SideBySideEditor.ANY:
-                    if (this.matches(editor.primary, candidate, options) || this.matches(editor.secondary, candidate, options)) {
-                        return true;
-                    }
-                    break;
-                case SideBySideEditor.BOTH:
-                    if (this.matches(editor.primary, candidate, options) && this.matches(editor.secondary, candidate, options)) {
-                        return true;
-                    }
-                    break;
+            case SideBySideEditor.ANY:
+                if (this.matches(editor.primary, candidate, options) || this.matches(editor.secondary, candidate, options)) {
+                    return true;
+                }
+                break;
+            case SideBySideEditor.BOTH:
+                if (this.matches(editor.primary, candidate, options) && this.matches(editor.secondary, candidate, options)) {
+                    return true;
+                }
+                break;
             }
         }
         const strictEquals = editor === candidate;
@@ -699,7 +719,9 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
     lock(locked) {
         if (this.isLocked !== locked) {
             this.locked = locked;
-            this._onDidModelChange.fire({ kind: GroupModelChangeKind.GROUP_LOCKED });
+            this._onDidModelChange.fire({
+                kind: GroupModelChangeKind.GROUP_LOCKED
+            });
         }
     }
     clone() {
@@ -726,9 +748,12 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
             const editorSerializer = registry.getEditorSerializer(editor);
             if (editorSerializer) {
                 const value = editorSerializer.canSerialize(editor) ? editorSerializer.serialize(editor) : undefined;
-                if (typeof value === 'string') {
+                if (typeof value === "string") {
                     canSerializeEditor = true;
-                    serializedEditors.push({ id: editor.typeId, value });
+                    serializedEditors.push({
+                        id: editor.typeId,
+                        value
+                    });
                     serializableEditors.push(editor);
                     if (this.preview === editor) {
                         serializablePreviewIndex = serializableEditors.length - 1;
@@ -754,11 +779,10 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
     }
     deserialize(data) {
         const registry = ( Registry.as(EditorExtensions.EditorFactory));
-        if (typeof data.id === 'number') {
+        if (typeof data.id === "number") {
             this._id = data.id;
             EditorGroupModel_1.IDS = Math.max(data.id + 1, EditorGroupModel_1.IDS);
-        }
-        else {
+        } else {
             this._id = EditorGroupModel_1.IDS++;
         }
         if (data.locked) {
@@ -774,17 +798,17 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
                     this.registerEditorListeners(editor);
                 }
             }
-            if (!editor && typeof data.sticky === 'number' && index <= data.sticky) {
+            if (!editor && typeof data.sticky === "number" && index <= data.sticky) {
                 data.sticky--;
             }
             return editor;
         })));
         this.mru = coalesce(( data.mru.map(i => this.editors[i])));
         this.selection = this.mru.length > 0 ? [this.mru[0]] : [];
-        if (typeof data.preview === 'number') {
+        if (typeof data.preview === "number") {
             this.preview = this.editors[data.preview];
         }
-        if (typeof data.sticky === 'number') {
+        if (typeof data.sticky === "number") {
             this.sticky = data.sticky;
         }
         return this._id;
@@ -796,9 +820,6 @@ let EditorGroupModel = class EditorGroupModel extends Disposable {
         super.dispose();
     }
 };
-EditorGroupModel = EditorGroupModel_1 = ( __decorate([
-    ( __param(1, IInstantiationService)),
-    ( __param(2, IConfigurationService))
-], EditorGroupModel));
+EditorGroupModel = EditorGroupModel_1 = ( __decorate([( __param(1, IInstantiationService)), ( __param(2, IConfigurationService))], EditorGroupModel));
 
 export { EditorGroupModel, isGroupEditorCloseEvent, isGroupEditorMoveEvent, isGroupEditorOpenEvent, isSerializedEditorGroupModel };

package/vscode/src/vs/workbench/common/editor/editorInput.js

@@ -49,7 +49,9 @@ class EditorInput extends AbstractEditorInput {
         return undefined;
     }
     getTelemetryDescriptor() {
-        return { typeId: this.typeId };
+        return {
+            typeId: this.typeId
+        };
     }
     isDirty() {
         return false;
@@ -69,7 +71,7 @@ class EditorInput extends AbstractEditorInput {
     async saveAs(group, options) {
         return this;
     }
-    async revert(group, options) { }
+    async revert(group, options) {}
     async rename(group, target) {
         return undefined;
     }

package/vscode/src/vs/workbench/common/editor/filteredEditorGroupModel.js

@@ -19,17 +19,39 @@ class FilteredEditorGroupModel extends Disposable {
             this._onDidModelChange.fire(e);
         }));
     }
-    get id() { return this.model.id; }
-    get isLocked() { return this.model.isLocked; }
-    get stickyCount() { return this.model.stickyCount; }
-    get activeEditor() { return this.model.activeEditor && this.filter(this.model.activeEditor) ? this.model.activeEditor : null; }
-    get previewEditor() { return this.model.previewEditor && this.filter(this.model.previewEditor) ? this.model.previewEditor : null; }
-    get selectedEditors() { return this.model.selectedEditors.filter(e => this.filter(e)); }
-    isPinned(editorOrIndex) { return this.model.isPinned(editorOrIndex); }
-    isTransient(editorOrIndex) { return this.model.isTransient(editorOrIndex); }
-    isSticky(editorOrIndex) { return this.model.isSticky(editorOrIndex); }
-    isActive(editor) { return this.model.isActive(editor); }
-    isSelected(editorOrIndex) { return this.model.isSelected(editorOrIndex); }
+    get id() {
+        return this.model.id;
+    }
+    get isLocked() {
+        return this.model.isLocked;
+    }
+    get stickyCount() {
+        return this.model.stickyCount;
+    }
+    get activeEditor() {
+        return this.model.activeEditor && this.filter(this.model.activeEditor) ? this.model.activeEditor : null;
+    }
+    get previewEditor() {
+        return this.model.previewEditor && this.filter(this.model.previewEditor) ? this.model.previewEditor : null;
+    }
+    get selectedEditors() {
+        return this.model.selectedEditors.filter(e => this.filter(e));
+    }
+    isPinned(editorOrIndex) {
+        return this.model.isPinned(editorOrIndex);
+    }
+    isTransient(editorOrIndex) {
+        return this.model.isTransient(editorOrIndex);
+    }
+    isSticky(editorOrIndex) {
+        return this.model.isSticky(editorOrIndex);
+    }
+    isActive(editor) {
+        return this.model.isActive(editor);
+    }
+    isSelected(editorOrIndex) {
+        return this.model.isSelected(editorOrIndex);
+    }
     isFirst(editor) {
         return this.model.isFirst(editor, this.getEditors(EditorsOrder.SEQUENTIAL));
     }
@@ -49,7 +71,9 @@ class FilteredEditorGroupModel extends Disposable {
     }
 }
 class StickyEditorGroupModel extends FilteredEditorGroupModel {
-    get count() { return this.model.stickyCount; }
+    get count() {
+        return this.model.stickyCount;
+    }
     getEditors(order, options) {
         if (options?.excludeSticky) {
             return [];
@@ -81,8 +105,12 @@ class StickyEditorGroupModel extends FilteredEditorGroupModel {
     }
 }
 class UnstickyEditorGroupModel extends FilteredEditorGroupModel {
-    get count() { return this.model.count - this.model.stickyCount; }
-    get stickyCount() { return 0; }
+    get count() {
+        return this.model.count - this.model.stickyCount;
+    }
+    get stickyCount() {
+        return 0;
+    }
     isSticky(editorOrIndex) {
         return false;
     }