@codingame/monaco-vscode-api 25.1.2 → 26.0.0

package/vscode/src/vs/workbench/browser/parts/editor/multiEditorTabsControl.js

@@ -67,27 +67,78 @@ import { applyDragImage } from '../../../../base/browser/ui/dnd/dnd.js';
 var MultiEditorTabsControl_1;
 registerCss(multieditortabscontrol);
 let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsControl {
-    static { MultiEditorTabsControl_1 = this; }
-    static { this.SCROLLBAR_SIZES = {
-        default: 3,
-        large: 10
-    }; }
-    static { this.TAB_WIDTH = {
-        compact: 38,
-        shrink: 80,
-        fit: 120
-    }; }
-    static { this.DRAG_OVER_OPEN_TAB_THRESHOLD = 1500; }
-    static { this.MOUSE_WHEEL_EVENT_THRESHOLD = 150; }
-    static { this.MOUSE_WHEEL_DISTANCE_THRESHOLD = 1.5; }
-    constructor(parent, editorPartsView, groupsView, groupView, tabsModel, contextMenuService, instantiationService, contextKeyService, keybindingService, notificationService, quickInputService, themeService, editorService, pathService, treeViewsDragAndDropService, editorResolverService, hostService) {
-        super(parent, editorPartsView, groupsView, groupView, tabsModel, contextMenuService, instantiationService, contextKeyService, keybindingService, notificationService, quickInputService, themeService, editorResolverService, hostService);
+    static {
+        MultiEditorTabsControl_1 = this;
+    }
+    static {
+        this.SCROLLBAR_SIZES = {
+            default: 3,
+            large: 10
+        };
+    }
+    static {
+        this.TAB_WIDTH = {
+            compact: 38,
+            shrink: 80,
+            fit: 120
+        };
+    }
+    static {
+        this.DRAG_OVER_OPEN_TAB_THRESHOLD = 1500;
+    }
+    static {
+        this.MOUSE_WHEEL_EVENT_THRESHOLD = 150;
+    }
+    static {
+        this.MOUSE_WHEEL_DISTANCE_THRESHOLD = 1.5;
+    }
+    constructor(
+        parent,
+        editorPartsView,
+        groupsView,
+        groupView,
+        tabsModel,
+        contextMenuService,
+        instantiationService,
+        contextKeyService,
+        keybindingService,
+        notificationService,
+        quickInputService,
+        themeService,
+        editorService,
+        pathService,
+        treeViewsDragAndDropService,
+        editorResolverService,
+        hostService
+    ) {
+        super(
+            parent,
+            editorPartsView,
+            groupsView,
+            groupView,
+            tabsModel,
+            contextMenuService,
+            instantiationService,
+            contextKeyService,
+            keybindingService,
+            notificationService,
+            quickInputService,
+            themeService,
+            editorResolverService,
+            hostService
+        );
         this.editorService = editorService;
         this.pathService = pathService;
         this.treeViewsDragAndDropService = treeViewsDragAndDropService;
-        this.closeEditorAction = this._register(this.instantiationService.createInstance(CloseEditorTabAction, CloseEditorTabAction.ID, CloseEditorTabAction.LABEL));
-        this.unpinEditorAction = this._register(this.instantiationService.createInstance(UnpinEditorAction, UnpinEditorAction.ID, UnpinEditorAction.LABEL));
-        this.tabResourceLabels = this._register(this.instantiationService.createInstance(ResourceLabels, DEFAULT_LABELS_CONTAINER));
+        this.closeEditorAction = this._register(
+            this.instantiationService.createInstance(CloseEditorTabAction, CloseEditorTabAction.ID, CloseEditorTabAction.LABEL)
+        );
+        this.unpinEditorAction = this._register(
+            this.instantiationService.createInstance(UnpinEditorAction, UnpinEditorAction.ID, UnpinEditorAction.LABEL)
+        );
+        this.tabResourceLabels = this._register(
+            this.instantiationService.createInstance(ResourceLabels, DEFAULT_LABELS_CONTAINER)
+        );
         this.tabLabels = [];
         this.tabActionBars = [];
         this.tabDisposables = [];
@@ -101,15 +152,17 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         this.isMouseOverTabs = false;
         this.updateEditorLabelScheduler = this._register(( new RunOnceScheduler(() => this.doUpdateEditorLabels(), 0)));
         (async () => this.path = await this.pathService.path)();
-        this._register(this.tabResourceLabels.onDidChangeDecorations(() => this.doHandleDecorationsChange()));
+        this._register(
+            this.tabResourceLabels.onDidChangeDecorations(() => this.doHandleDecorationsChange())
+        );
     }
     create(parent) {
         super.create(parent);
         this.titleContainer = parent;
-        this.tabsAndActionsContainer = $('.tabs-and-actions-container');
+        this.tabsAndActionsContainer = $(".tabs-and-actions-container");
         this.titleContainer.appendChild(this.tabsAndActionsContainer);
-        this.tabsContainer = $('.tabs-container', {
-            role: 'tablist',
+        this.tabsContainer = $(".tabs-container", {
+            role: "tablist",
             draggable: true
         });
         this._register(Gesture.addTarget(this.tabsContainer));
@@ -118,7 +171,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         this.tabsScrollbar = this.createTabsScrollbar(this.tabsContainer);
         this.tabsAndActionsContainer.appendChild(this.tabsScrollbar.getDomNode());
         this.registerTabsContainerListeners(this.tabsContainer, this.tabsScrollbar);
-        this.createEditorActionsToolBar(this.tabsAndActionsContainer, ['editor-actions']);
+        this.createEditorActionsToolBar(this.tabsAndActionsContainer, ["editor-actions"]);
         this.updateTabsControlVisibility();
         return this.tabsAndActionsContainer;
     }
@@ -151,9 +204,9 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         const [tabsContainer, tabSizingFixedDisposables] = assertReturnsAllDefined(this.tabsContainer, this.tabSizingFixedDisposables);
         tabSizingFixedDisposables.clear();
         const options = this.groupsView.partOptions;
-        if (options.tabSizing === 'fixed') {
-            tabsContainer.style.setProperty('--tab-sizing-fixed-min-width', `${options.tabSizingFixedMinWidth}px`);
-            tabsContainer.style.setProperty('--tab-sizing-fixed-max-width', `${options.tabSizingFixedMaxWidth}px`);
+        if (options.tabSizing === "fixed") {
+            tabsContainer.style.setProperty("--tab-sizing-fixed-min-width", `${options.tabSizingFixedMinWidth}px`);
+            tabsContainer.style.setProperty("--tab-sizing-fixed-max-width", `${options.tabSizingFixedMaxWidth}px`);
             tabSizingFixedDisposables.add(addDisposableListener(tabsContainer, EventType.MOUSE_ENTER, () => {
                 this.isMouseOverTabs = true;
             }));
@@ -161,53 +214,55 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 this.isMouseOverTabs = false;
                 this.updateTabsFixedWidth(false);
             }));
-        }
-        else if (fromEvent) {
-            tabsContainer.style.removeProperty('--tab-sizing-fixed-min-width');
-            tabsContainer.style.removeProperty('--tab-sizing-fixed-max-width');
+        } else if (fromEvent) {
+            tabsContainer.style.removeProperty("--tab-sizing-fixed-min-width");
+            tabsContainer.style.removeProperty("--tab-sizing-fixed-max-width");
             this.updateTabsFixedWidth(false);
         }
     }
     updateTabsFixedWidth(fixed) {
         this.forEachTab((editor, tabIndex, tabContainer) => {
             if (fixed) {
-                const { width } = tabContainer.getBoundingClientRect();
-                tabContainer.style.setProperty('--tab-sizing-current-width', `${width}px`);
-            }
-            else {
-                tabContainer.style.removeProperty('--tab-sizing-current-width');
+                const {
+                    width
+                } = tabContainer.getBoundingClientRect();
+                tabContainer.style.setProperty("--tab-sizing-current-width", `${width}px`);
+            } else {
+                tabContainer.style.removeProperty("--tab-sizing-current-width");
             }
         });
     }
     getTabsScrollbarSizing() {
-        if (this.groupsView.partOptions.titleScrollbarSizing !== 'large') {
+        if (this.groupsView.partOptions.titleScrollbarSizing !== "large") {
             return MultiEditorTabsControl_1.SCROLLBAR_SIZES.default;
         }
         return MultiEditorTabsControl_1.SCROLLBAR_SIZES.large;
     }
     getTabsScrollbarVisibility() {
         switch (this.groupsView.partOptions.titleScrollbarVisibility) {
-            case 'visible': return ScrollbarVisibility.Visible;
-            case 'hidden': return ScrollbarVisibility.Hidden;
-            default: return ScrollbarVisibility.Auto;
+        case "visible":
+            return ScrollbarVisibility.Visible;
+        case "hidden":
+            return ScrollbarVisibility.Hidden;
+        default:
+            return ScrollbarVisibility.Auto;
         }
     }
     registerTabsContainerListeners(tabsContainer, tabsScrollbar) {
         this._register(addDisposableListener(tabsContainer, EventType.SCROLL, () => {
-            if (tabsContainer.classList.contains('scroll')) {
+            if (tabsContainer.classList.contains("scroll")) {
                 tabsScrollbar.setScrollPosition({
                     scrollLeft: tabsContainer.scrollLeft
                 });
             }
         }));
         for (const eventType of [EventType$1.Tap, EventType.DBLCLICK]) {
-            this._register(addDisposableListener(tabsContainer, eventType, (e) => {
+            this._register(addDisposableListener(tabsContainer, eventType, e => {
                 if (eventType === EventType.DBLCLICK) {
                     if (e.target !== tabsContainer) {
                         return;
                     }
-                }
-                else {
+                } else {
                     if (e.tapCount !== 2) {
                         return;
                     }
@@ -248,42 +303,46 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 lastDragEvent = e;
             },
             onDragEnter: e => {
-                tabsContainer.classList.add('scroll');
+                tabsContainer.classList.add("scroll");
                 if (e.target !== tabsContainer) {
                     return;
                 }
                 if (!this.isSupportedDropTransfer(e)) {
                     if (e.dataTransfer) {
-                        e.dataTransfer.dropEffect = 'none';
+                        e.dataTransfer.dropEffect = "none";
                     }
                     return;
                 }
                 if (!this.editorTransfer.hasData(DraggedEditorIdentifier.prototype)) {
                     if (e.dataTransfer) {
-                        e.dataTransfer.dropEffect = 'copy';
+                        e.dataTransfer.dropEffect = "copy";
                     }
                 }
                 this.updateDropFeedback(tabsContainer, true, e);
             },
             onDragLeave: e => {
                 this.updateDropFeedback(tabsContainer, false, e);
-                tabsContainer.classList.remove('scroll');
+                tabsContainer.classList.remove("scroll");
             },
             onDragEnd: e => {
                 this.updateDropFeedback(tabsContainer, false, e);
-                tabsContainer.classList.remove('scroll');
+                tabsContainer.classList.remove("scroll");
                 this.onGroupDragEnd(e, lastDragEvent, tabsContainer, isNewWindowOperation);
             },
             onDrop: e => {
                 this.updateDropFeedback(tabsContainer, false, e);
-                tabsContainer.classList.remove('scroll');
+                tabsContainer.classList.remove("scroll");
                 if (e.target === tabsContainer) {
                     const isGroupTransfer = this.groupTransfer.hasData(DraggedEditorGroupIdentifier.prototype);
-                    this.onDrop(e, isGroupTransfer ? this.groupView.count : this.tabsModel.count, tabsContainer);
+                    this.onDrop(
+                        e,
+                        isGroupTransfer ? this.groupView.count : this.tabsModel.count,
+                        tabsContainer
+                    );
                 }
             }
         })));
-        this._register(addDisposableListener(tabsContainer, EventType.MOUSE_WHEEL, (e) => {
+        this._register(addDisposableListener(tabsContainer, EventType.MOUSE_WHEEL, e => {
             const activeEditor = this.groupView.activeEditor;
             if (!activeEditor || this.groupView.count < 2) {
                 return;
@@ -292,8 +351,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 if (e.shiftKey) {
                     return;
                 }
-            }
-            else {
+            } else {
                 if (!e.shiftKey) {
                     return;
                 }
@@ -306,11 +364,9 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             let tabSwitchDirection;
             if (e.deltaX + e.deltaY < -MultiEditorTabsControl_1.MOUSE_WHEEL_DISTANCE_THRESHOLD) {
                 tabSwitchDirection = -1;
-            }
-            else if (e.deltaX + e.deltaY > MultiEditorTabsControl_1.MOUSE_WHEEL_DISTANCE_THRESHOLD) {
+            } else if (e.deltaX + e.deltaY > MultiEditorTabsControl_1.MOUSE_WHEEL_DISTANCE_THRESHOLD) {
                 tabSwitchDirection = 1;
-            }
-            else {
+            } else {
                 return;
             }
             const nextEditor = this.groupView.getEditorByIndex(this.groupView.getIndexOfEditor(activeEditor) + tabSwitchDirection);
@@ -320,7 +376,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             this.groupView.openEditor(nextEditor);
             EventHelper.stop(e, true);
         }));
-        const showContextMenu = (e) => {
+        const showContextMenu = e => {
             EventHelper.stop(e);
             let anchor = tabsContainer;
             if (isMouseEvent(e)) {
@@ -330,14 +386,22 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 getAnchor: () => anchor,
                 menuId: MenuId.EditorTabsBarContext,
                 contextKeyService: this.contextKeyService,
-                menuActionOptions: { shouldForwardArgs: true },
-                getActionsContext: () => ({ groupId: this.groupView.id }),
+                menuActionOptions: {
+                    shouldForwardArgs: true
+                },
+                getActionsContext: () => ({
+                    groupId: this.groupView.id
+                }),
                 getKeyBinding: action => this.getKeybinding(action),
                 onHide: () => this.groupView.focus()
             });
         };
-        this._register(addDisposableListener(tabsContainer, EventType$1.Contextmenu, e => showContextMenu(e)));
-        this._register(addDisposableListener(tabsContainer, EventType.CONTEXT_MENU, e => showContextMenu(e)));
+        this._register(
+            addDisposableListener(tabsContainer, EventType$1.Contextmenu, e => showContextMenu(e))
+        );
+        this._register(
+            addDisposableListener(tabsContainer, EventType.CONTEXT_MENU, e => showContextMenu(e))
+        );
     }
     doHandleDecorationsChange() {
         this.layout(this.dimensions);
@@ -366,25 +430,25 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         const oldTabLabels = this.tabLabels;
         this.computeTabLabels();
         let didChange = false;
-        if (activeEditorChanged ||
-            oldTabLabels.length !== this.tabLabels.length ||
-            ( oldTabLabels.some(
-                (label, index) => !this.equalsEditorInputLabel(label, this.tabLabels.at(index))
-            ))
-        ) {
-            this.redraw({ forceRevealActiveTab: true });
+        if (
+        activeEditorChanged || oldTabLabels.length !== this.tabLabels.length || ( oldTabLabels.some(
+            (label, index) => !this.equalsEditorInputLabel(label, this.tabLabels.at(index))
+        ))) {
+            this.redraw({
+                forceRevealActiveTab: true
+            });
             didChange = true;
         }
         else {
-            this.layout(this.dimensions, { forceRevealActiveTab: true });
+            this.layout(this.dimensions, {
+                forceRevealActiveTab: true
+            });
         }
         return didChange;
     }
     didActiveEditorChange() {
-        if (!this.activeTabLabel?.editor && this.tabsModel.activeEditor ||
-            this.activeTabLabel?.editor && !this.tabsModel.activeEditor ||
-            (!this.activeTabLabel?.editor || !this.tabsModel.isActive(this.activeTabLabel.editor))
-        ) {
+        if (
+        !this.activeTabLabel?.editor && this.tabsModel.activeEditor || this.activeTabLabel?.editor && !this.tabsModel.activeEditor || (!this.activeTabLabel?.editor || !this.tabsModel.isActive(this.activeTabLabel.editor))) {
             return true;
         }
         return false;
@@ -396,14 +460,10 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         if (!labelA || !labelB) {
             return false;
         }
-        return labelA.name === labelB.name &&
-            labelA.description === labelB.description &&
-            labelA.forceDescription === labelB.forceDescription &&
-            labelA.title === labelB.title &&
-            labelA.ariaLabel === labelB.ariaLabel;
+        return labelA.name === labelB.name && labelA.description === labelB.description && labelA.forceDescription === labelB.forceDescription && labelA.title === labelB.title && labelA.ariaLabel === labelB.ariaLabel;
     }
     beforeCloseEditor(editor) {
-        if (this.isMouseOverTabs && this.groupsView.partOptions.tabSizing === 'fixed') {
+        if (this.isMouseOverTabs && this.groupsView.partOptions.tabSizing === "fixed") {
             const closingLastTab = this.tabsModel.isLast(editor);
             this.updateTabsFixedWidth(!closingLastTab);
         }
@@ -422,7 +482,9 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 dispose(this.tabDisposables.pop());
             }
             this.computeTabLabels();
-            this.redraw({ forceRevealActiveTab: true });
+            this.redraw({
+                forceRevealActiveTab: true
+            });
         }
         else {
             if (this.tabsContainer) {
@@ -441,15 +503,22 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         const editorLabel = this.tabLabels[fromTabIndex];
         this.tabLabels.splice(fromTabIndex, 1);
         this.tabLabels.splice(targetTabIndex, 0, editorLabel);
-        this.forEachTab((editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => {
-            this.redrawTab(editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar);
-        }, Math.min(fromTabIndex, targetTabIndex),
-        Math.max(fromTabIndex, targetTabIndex)
+        this.forEachTab(
+            (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => {
+                this.redrawTab(editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar);
+            },
+            Math.min(fromTabIndex, targetTabIndex),
+            Math.max(fromTabIndex, targetTabIndex)
         );
-        this.layout(this.dimensions, { forceRevealActiveTab: true });
+        this.layout(this.dimensions, {
+            forceRevealActiveTab: true
+        });
     }
     pinEditor(editor) {
-        this.withTab(editor, (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel) => this.redrawTabLabel(editor, tabIndex, tabContainer, tabLabelWidget, tabLabel));
+        this.withTab(
+            editor,
+            (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel) => this.redrawTabLabel(editor, tabIndex, tabContainer, tabLabelWidget, tabLabel)
+        );
     }
     stickEditor(editor) {
         this.doHandleStickyEditorChange(editor);
@@ -458,23 +527,39 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         this.doHandleStickyEditorChange(editor);
     }
     doHandleStickyEditorChange(editor) {
-        this.withTab(editor, (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => this.redrawTab(editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar));
+        this.withTab(
+            editor,
+            (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => this.redrawTab(editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar)
+        );
         this.forEachTab((editor, tabIndex, tabContainer, tabLabelWidget, tabLabel) => {
             this.redrawTabBorders(tabIndex, tabContainer);
         });
-        this.layout(this.dimensions, { forceRevealActiveTab: true });
+        this.layout(this.dimensions, {
+            forceRevealActiveTab: true
+        });
     }
     setActive(isGroupActive) {
-        this.forEachTab((editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => {
-            this.redrawTabSelectedActiveAndDirty(isGroupActive, editor, tabContainer, tabActionBar);
-        });
+        this.forEachTab(
+            (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => {
+                this.redrawTabSelectedActiveAndDirty(isGroupActive, editor, tabContainer, tabActionBar);
+            }
+        );
         this.updateEditorActionsToolbar();
-        this.layout(this.dimensions, { forceRevealActiveTab: true });
+        this.layout(this.dimensions, {
+            forceRevealActiveTab: true
+        });
     }
     updateEditorSelections() {
-        this.forEachTab((editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => {
-            this.redrawTabSelectedActiveAndDirty(this.groupsView.activeGroup === this.groupView, editor, tabContainer, tabActionBar);
-        });
+        this.forEachTab(
+            (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => {
+                this.redrawTabSelectedActiveAndDirty(
+                    this.groupsView.activeGroup === this.groupView,
+                    editor,
+                    tabContainer,
+                    tabActionBar
+                );
+            }
+        );
     }
     updateEditorLabel(editor) {
         this.updateEditorLabelScheduler.schedule();
@@ -487,7 +572,15 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         this.layout(this.dimensions);
     }
     updateEditorDirty(editor) {
-        this.withTab(editor, (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => this.redrawTabSelectedActiveAndDirty(this.groupsView.activeGroup === this.groupView, editor, tabContainer, tabActionBar));
+        this.withTab(
+            editor,
+            (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => this.redrawTabSelectedActiveAndDirty(
+                this.groupsView.activeGroup === this.groupView,
+                editor,
+                tabContainer,
+                tabActionBar
+            )
+        );
     }
     updateOptions(oldOptions, newOptions) {
         super.updateOptions(oldOptions, newOptions);
@@ -503,23 +596,10 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         if (oldOptions.alwaysShowEditorActions !== newOptions.alwaysShowEditorActions) {
             this.updateEditorActionsToolbar();
         }
-        if (oldOptions.tabSizingFixedMinWidth !== newOptions.tabSizingFixedMinWidth ||
-            oldOptions.tabSizingFixedMaxWidth !== newOptions.tabSizingFixedMaxWidth ||
-            oldOptions.tabSizing !== newOptions.tabSizing) {
+        if (oldOptions.tabSizingFixedMinWidth !== newOptions.tabSizingFixedMinWidth || oldOptions.tabSizingFixedMaxWidth !== newOptions.tabSizingFixedMaxWidth || oldOptions.tabSizing !== newOptions.tabSizing) {
             this.updateTabSizing(true);
         }
-        if (oldOptions.labelFormat !== newOptions.labelFormat ||
-            oldOptions.tabActionLocation !== newOptions.tabActionLocation ||
-            oldOptions.tabActionCloseVisibility !== newOptions.tabActionCloseVisibility ||
-            oldOptions.tabActionUnpinVisibility !== newOptions.tabActionUnpinVisibility ||
-            oldOptions.tabSizing !== newOptions.tabSizing ||
-            oldOptions.pinnedTabSizing !== newOptions.pinnedTabSizing ||
-            oldOptions.showIcons !== newOptions.showIcons ||
-            oldOptions.hasIcons !== newOptions.hasIcons ||
-            oldOptions.highlightModifiedTabs !== newOptions.highlightModifiedTabs ||
-            oldOptions.wrapTabs !== newOptions.wrapTabs ||
-            oldOptions.showTabIndex !== newOptions.showTabIndex ||
-            !equals(oldOptions.decorations, newOptions.decorations)) {
+        if (oldOptions.labelFormat !== newOptions.labelFormat || oldOptions.tabActionLocation !== newOptions.tabActionLocation || oldOptions.tabActionCloseVisibility !== newOptions.tabActionCloseVisibility || oldOptions.tabActionUnpinVisibility !== newOptions.tabActionUnpinVisibility || oldOptions.tabSizing !== newOptions.tabSizing || oldOptions.pinnedTabSizing !== newOptions.pinnedTabSizing || oldOptions.showIcons !== newOptions.showIcons || oldOptions.hasIcons !== newOptions.hasIcons || oldOptions.highlightModifiedTabs !== newOptions.highlightModifiedTabs || oldOptions.wrapTabs !== newOptions.wrapTabs || oldOptions.showTabIndex !== newOptions.showTabIndex || !equals(oldOptions.decorations, newOptions.decorations)) {
             this.redraw();
         }
     }
@@ -528,10 +608,10 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
     }
     forEachTab(fn, fromTabIndex, toTabIndex) {
         this.tabsModel.getEditors(EditorsOrder.SEQUENTIAL).forEach((editor, tabIndex) => {
-            if (typeof fromTabIndex === 'number' && fromTabIndex > tabIndex) {
+            if (typeof fromTabIndex === "number" && fromTabIndex > tabIndex) {
                 return;
             }
-            if (typeof toTabIndex === 'number' && toTabIndex < tabIndex) {
+            if (typeof toTabIndex === "number" && toTabIndex < tabIndex) {
                 return;
             }
             this.doWithTab(tabIndex, editor, fn);
@@ -551,34 +631,48 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         }
     }
     createTab(tabIndex, tabsContainer, tabsScrollbar) {
-        const tabContainer = $('.tab', {
+        const tabContainer = $(".tab", {
             draggable: true,
-            role: 'tab'
+            role: "tab"
         });
         const gestureDisposable = Gesture.addTarget(tabContainer);
-        const tabBorderTopContainer = $('.tab-border-top-container');
+        const tabBorderTopContainer = $(".tab-border-top-container");
         tabContainer.appendChild(tabBorderTopContainer);
-        const editorLabel = this.tabResourceLabels.create(tabContainer, { hoverTargetOverride: tabContainer });
-        const tabActionsContainer = $('.tab-actions');
+        const editorLabel = this.tabResourceLabels.create(tabContainer, {
+            hoverTargetOverride: tabContainer
+        });
+        const tabActionsContainer = $(".tab-actions");
         tabContainer.appendChild(tabActionsContainer);
         const that = this;
         const tabActionRunner = ( new EditorCommandsContextActionRunner({
             groupId: this.groupView.id,
-            get editorIndex() { return that.toEditorIndex(tabIndex); }
+            get editorIndex() {
+                return that.toEditorIndex(tabIndex);
+            }
+        }));
+        const tabActionBar = ( new ActionBar(tabActionsContainer, {
+            ariaLabel: ( localize(3510, "Tab actions")),
+            actionRunner: tabActionRunner
         }));
-        const tabActionBar = ( new ActionBar(tabActionsContainer, { ariaLabel: ( localize(3506, "Tab actions")), actionRunner: tabActionRunner }));
         const tabActionListener = tabActionBar.onWillRun(e => {
             if (e.action.id === this.closeEditorAction.id) {
                 this.blockRevealActiveTabOnce();
             }
         });
-        const tabActionBarDisposable = combinedDisposable(tabActionRunner, tabActionBar, tabActionListener, toDisposable(insert(this.tabActionBars, tabActionBar)));
-        const tabShadowHider = $('.tab-fade-hider');
+        const tabActionBarDisposable = combinedDisposable(
+            tabActionRunner,
+            tabActionBar,
+            tabActionListener,
+            toDisposable(insert(this.tabActionBars, tabActionBar))
+        );
+        const tabShadowHider = $(".tab-fade-hider");
         tabContainer.appendChild(tabShadowHider);
-        const tabBorderBottomContainer = $('.tab-border-bottom-container');
+        const tabBorderBottomContainer = $(".tab-border-bottom-container");
         tabContainer.appendChild(tabBorderBottomContainer);
         const eventsDisposable = this.registerTabListeners(tabContainer, tabIndex, tabsContainer, tabsScrollbar);
-        this.tabDisposables.push(combinedDisposable(gestureDisposable, eventsDisposable, tabActionBarDisposable, editorLabel));
+        this.tabDisposables.push(
+            combinedDisposable(gestureDisposable, eventsDisposable, tabActionBarDisposable, editorLabel)
+        );
         return tabContainer;
     }
     toEditorIndex(tabIndex) {
@@ -589,7 +683,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         const disposables = ( new DisposableStore());
         const handleClickOrTouch = async (e, preserveFocus) => {
             tab.blur();
-            if (isMouseEvent(e) && (e.button !== 0  || ((isMacintosh && e.ctrlKey) ))) {
+            if (isMouseEvent(e) && (e.button !== 0  || (isMacintosh && e.ctrlKey) )) {
                 if (e.button === 1) {
                     e.preventDefault();
                 }
@@ -604,45 +698,53 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                     let anchor;
                     if (this.lastSingleSelectSelectedEditor && this.tabsModel.isSelected(this.lastSingleSelectSelectedEditor)) {
                         anchor = this.lastSingleSelectSelectedEditor;
-                    }
-                    else {
+                    } else {
                         const activeEditor = assertReturnsDefined(this.groupView.activeEditor);
                         this.lastSingleSelectSelectedEditor = activeEditor;
                         anchor = activeEditor;
                     }
                     await this.selectEditorsBetween(editor, anchor);
-                }
-                else if ((e.ctrlKey && !isMacintosh) || (e.metaKey && isMacintosh)) {
+                } else if ((e.ctrlKey && !isMacintosh) || (e.metaKey && isMacintosh)) {
                     if (this.tabsModel.isSelected(editor)) {
                         await this.unselectEditor(editor);
-                    }
-                    else {
+                    } else {
                         await this.selectEditor(editor);
                         this.lastSingleSelectSelectedEditor = editor;
                     }
-                }
-                else {
+                } else {
                     const inactiveSelection = this.tabsModel.isSelected(editor) ? this.groupView.selectedEditors.filter(e => !e.matches(editor)) : [];
-                    await this.groupView.openEditor(editor, { preserveFocus, activation: EditorActivation.ACTIVATE }, { inactiveSelection, focusTabControl: true });
+                    await this.groupView.openEditor(editor, {
+                        preserveFocus,
+                        activation: EditorActivation.ACTIVATE
+                    }, {
+                        inactiveSelection,
+                        focusTabControl: true
+                    });
                 }
             }
         };
-        const showContextMenu = (e) => {
+        const showContextMenu = e => {
             EventHelper.stop(e);
             const editor = this.tabsModel.getEditorByIndex(tabIndex);
             if (editor) {
                 this.onTabContextMenu(editor, e, tab);
             }
         };
-        disposables.add(addDisposableListener(tab, EventType.MOUSE_DOWN, e => handleClickOrTouch(e, false)));
-        disposables.add(addDisposableListener(tab, EventType$1.Tap, (e) => handleClickOrTouch(e, true)));
-        disposables.add(addDisposableListener(tab, EventType$1.Change, (e) => {
-            tabsScrollbar.setScrollPosition({ scrollLeft: tabsScrollbar.getScrollPosition().scrollLeft - e.translationX });
+        disposables.add(
+            addDisposableListener(tab, EventType.MOUSE_DOWN, e => handleClickOrTouch(e, false))
+        );
+        disposables.add(
+            addDisposableListener(tab, EventType$1.Tap, e => handleClickOrTouch(e, true))
+        );
+        disposables.add(addDisposableListener(tab, EventType$1.Change, e => {
+            tabsScrollbar.setScrollPosition({
+                scrollLeft: tabsScrollbar.getScrollPosition().scrollLeft - e.translationX
+            });
         }));
-        disposables.add(addDisposableListener(tab, EventType.MOUSE_UP, async (e) => {
+        disposables.add(addDisposableListener(tab, EventType.MOUSE_UP, async e => {
             EventHelper.stop(e);
             tab.blur();
-            if (isMouseEvent(e) && (e.button !== 0  || ((isMacintosh && e.ctrlKey) ))) {
+            if (isMouseEvent(e) && (e.button !== 0  || (isMacintosh && e.ctrlKey) )) {
                 return;
             }
             if (this.originatesFromTabActionBar(e)) {
@@ -658,11 +760,19 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 EventHelper.stop(e, true );
                 const editor = this.tabsModel.getEditorByIndex(tabIndex);
                 if (editor) {
-                    if (preventEditorClose(this.tabsModel, editor, EditorCloseMethod.MOUSE, this.groupsView.partOptions)) {
+                    if (preventEditorClose(
+                        this.tabsModel,
+                        editor,
+                        EditorCloseMethod.MOUSE,
+                        this.groupsView.partOptions
+                    )) {
                         return;
                     }
                     this.blockRevealActiveTabOnce();
-                    this.closeEditorAction.run({ groupId: this.groupView.id, editorIndex: this.groupView.getIndexOfEditor(editor) });
+                    this.closeEditorAction.run({
+                        groupId: this.groupView.id,
+                        editorIndex: this.groupView.getIndexOfEditor(editor)
+                    });
                 }
             }
         }));
@@ -672,7 +782,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 showContextMenu(e);
             }
         }));
-        disposables.add(addDisposableListener(tab, EventType$1.Contextmenu, (e) => {
+        disposables.add(addDisposableListener(tab, EventType$1.Contextmenu, e => {
             showContextMenu(e);
         }));
         disposables.add(addDisposableListener(tab, EventType.KEY_UP, e => {
@@ -685,24 +795,32 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                     this.groupView.openEditor(editor);
                 }
             }
-            else if (( [KeyCode.LeftArrow, KeyCode.RightArrow, KeyCode.UpArrow, KeyCode.DownArrow, KeyCode.Home, KeyCode.End].some(kb => event.equals(kb)))) {
+            else if (( [
+                KeyCode.LeftArrow,
+                KeyCode.RightArrow,
+                KeyCode.UpArrow,
+                KeyCode.DownArrow,
+                KeyCode.Home,
+                KeyCode.End
+            ].some(kb => event.equals(kb)))) {
                 let editorIndex = this.toEditorIndex(tabIndex);
                 if (event.equals(KeyCode.LeftArrow) || event.equals(KeyCode.UpArrow)) {
                     editorIndex = editorIndex - 1;
-                }
-                else if (event.equals(KeyCode.RightArrow) || event.equals(KeyCode.DownArrow)) {
+                } else if (event.equals(KeyCode.RightArrow) || event.equals(KeyCode.DownArrow)) {
                     editorIndex = editorIndex + 1;
-                }
-                else if (event.equals(KeyCode.Home)) {
+                } else if (event.equals(KeyCode.Home)) {
                     editorIndex = 0;
-                }
-                else {
+                } else {
                     editorIndex = this.groupView.count - 1;
                 }
                 const target = this.groupView.getEditorByIndex(editorIndex);
                 if (target) {
                     handled = true;
-                    this.groupView.openEditor(target, { preserveFocus: true }, { focusTabControl: true });
+                    this.groupView.openEditor(target, {
+                        preserveFocus: true
+                    }, {
+                        focusTabControl: true
+                    });
                 }
             }
             if (handled) {
@@ -713,25 +831,23 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             });
         }));
         for (const eventType of [EventType$1.Tap, EventType.DBLCLICK]) {
-            disposables.add(addDisposableListener(tab, eventType, (e) => {
+            disposables.add(addDisposableListener(tab, eventType, e => {
                 if (eventType === EventType.DBLCLICK) {
                     EventHelper.stop(e);
-                }
-                else if (e.tapCount !== 2) {
+                } else if (e.tapCount !== 2) {
                     return;
                 }
                 const editor = this.tabsModel.getEditorByIndex(tabIndex);
                 if (editor && this.tabsModel.isPinned(editor)) {
                     switch (this.groupsView.partOptions.doubleClickTabToToggleEditorGroupSizes) {
-                        case 'maximize':
-                            this.groupsView.toggleMaximizeGroup(this.groupView);
-                            break;
-                        case 'expand':
-                            this.groupsView.toggleExpandGroup(this.groupView);
-                            break;
+                    case "maximize":
+                        this.groupsView.toggleMaximizeGroup(this.groupView);
+                        break;
+                    case "expand":
+                        this.groupsView.toggleExpandGroup(this.groupView);
+                        break;
                     }
-                }
-                else {
+                } else {
                     this.groupView.pinEditor(editor);
                 }
             }));
@@ -753,19 +869,24 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 }
                 isNewWindowOperation = this.isNewWindowOperation(e);
                 const selectedEditors = this.groupView.selectedEditors;
-                this.editorTransfer.setData(( selectedEditors.map(e => ( new DraggedEditorIdentifier({ editor: e, groupId: this.groupView.id })))), DraggedEditorIdentifier.prototype);
+                this.editorTransfer.setData(( selectedEditors.map(e => ( new DraggedEditorIdentifier({
+                    editor: e,
+                    groupId: this.groupView.id
+                })))), DraggedEditorIdentifier.prototype);
                 if (e.dataTransfer) {
-                    e.dataTransfer.effectAllowed = 'copyMove';
+                    e.dataTransfer.effectAllowed = "copyMove";
                     if (selectedEditors.length > 1) {
                         const label = `${editor.getName()} + ${selectedEditors.length - 1}`;
                         applyDragImage(e, tab, label);
-                    }
-                    else {
+                    } else {
                         e.dataTransfer.setDragImage(tab, 0, 0);
                     }
                 }
                 this.doFillResourceDataTransfers(selectedEditors, e, isNewWindowOperation);
-                scheduleAtNextAnimationFrame(getWindow(this.parent), () => this.updateDropFeedback(tab, false, e, tabIndex));
+                scheduleAtNextAnimationFrame(
+                    getWindow(this.parent),
+                    () => this.updateDropFeedback(tab, false, e, tabIndex)
+                );
             },
             onDrag: e => {
                 lastDragEvent = e;
@@ -773,13 +894,13 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             onDragEnter: e => {
                 if (!this.isSupportedDropTransfer(e)) {
                     if (e.dataTransfer) {
-                        e.dataTransfer.dropEffect = 'none';
+                        e.dataTransfer.dropEffect = "none";
                     }
                     return;
                 }
                 if (!this.editorTransfer.hasData(DraggedEditorIdentifier.prototype)) {
                     if (e.dataTransfer) {
-                        e.dataTransfer.dropEffect = 'copy';
+                        e.dataTransfer.dropEffect = "copy";
                     }
                 }
                 this.updateDropFeedback(tab, true, e, tabIndex);
@@ -788,19 +909,18 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 if (dragDuration >= MultiEditorTabsControl_1.DRAG_OVER_OPEN_TAB_THRESHOLD) {
                     const draggedOverTab = this.tabsModel.getEditorByIndex(tabIndex);
                     if (draggedOverTab && this.tabsModel.activeEditor !== draggedOverTab) {
-                        this.groupView.openEditor(draggedOverTab, { preserveFocus: true });
+                        this.groupView.openEditor(draggedOverTab, {
+                            preserveFocus: true
+                        });
                     }
                 }
                 this.updateDropFeedback(tab, true, e, tabIndex);
             },
-            onDragEnd: async (e) => {
+            onDragEnd: async e => {
                 this.updateDropFeedback(tab, false, e, tabIndex);
                 const draggedEditors = this.editorTransfer.getData(DraggedEditorIdentifier.prototype);
                 this.editorTransfer.clearData(DraggedEditorIdentifier.prototype);
-                if (!isNewWindowOperation ||
-                    isWindowDraggedOver() ||
-                    !draggedEditors ||
-                    draggedEditors.length === 0) {
+                if (!isNewWindowOperation || isWindowDraggedOver() || !draggedEditors || draggedEditors.length === 0) {
                     return;
                 }
                 const auxiliaryEditorPart = await this.maybeCreateAuxiliaryEditorPartAt(e, tab);
@@ -811,8 +931,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 const editorsWithOptions = prepareMoveCopyEditors(this.groupView, ( draggedEditors.map(editor => editor.identifier.editor)));
                 if (this.isMoveOperation(lastDragEvent ?? e, targetGroup.id, draggedEditors[0].identifier.editor)) {
                     this.groupView.moveEditors(editorsWithOptions, targetGroup);
-                }
-                else {
+                } else {
                     this.groupView.copyEditors(editorsWithOptions, targetGroup);
                 }
                 targetGroup.focus();
@@ -820,7 +939,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             onDrop: e => {
                 this.updateDropFeedback(tab, false, e, tabIndex);
                 let targetIndex = tabIndex;
-                if (this.getTabDragOverLocation(e, tab) === 'right') {
+                if (this.getTabDragOverLocation(e, tab) === "right") {
                     targetIndex++;
                 }
                 this.onDrop(e, targetIndex, tabsContainer);
@@ -848,17 +967,18 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         return false;
     }
     updateDropFeedback(element, isDND, e, tabIndex) {
-        const isTab = (typeof tabIndex === 'number');
+        const isTab = (typeof tabIndex === "number");
         let dropTarget;
         if (isDND) {
             if (isTab) {
                 dropTarget = this.computeDropTarget(e, tabIndex, element);
+            } else {
+                dropTarget = {
+                    leftElement: element.lastElementChild,
+                    rightElement: undefined
+                };
             }
-            else {
-                dropTarget = { leftElement: element.lastElementChild, rightElement: undefined };
-            }
-        }
-        else {
+        } else {
             dropTarget = undefined;
         }
         this.updateDropTarget(dropTarget);
@@ -868,8 +988,8 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         if (oldTargets === newTarget || oldTargets && newTarget && oldTargets.leftElement === newTarget.leftElement && oldTargets.rightElement === newTarget.rightElement) {
             return;
         }
-        const dropClassLeft = 'drop-target-left';
-        const dropClassRight = 'drop-target-right';
+        const dropClassLeft = "drop-target-left";
+        const dropClassRight = "drop-target-right";
         if (oldTargets) {
             oldTargets.leftElement?.classList.remove(dropClassLeft);
             oldTargets.rightElement?.classList.remove(dropClassRight);
@@ -883,21 +1003,30 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
     getTabDragOverLocation(e, tab) {
         const rect = tab.getBoundingClientRect();
         const offsetXRelativeToParent = e.clientX - rect.left;
-        return offsetXRelativeToParent <= rect.width / 2 ? 'left' : 'right';
+        return offsetXRelativeToParent <= rect.width / 2 ? "left" : "right";
     }
     computeDropTarget(e, tabIndex, targetTab) {
-        const isLeftSideOfTab = this.getTabDragOverLocation(e, targetTab) === 'left';
+        const isLeftSideOfTab = this.getTabDragOverLocation(e, targetTab) === "left";
         const isLastTab = tabIndex === this.tabsModel.count - 1;
         const isFirstTab = tabIndex === 0;
         if (isLeftSideOfTab && isFirstTab) {
-            return { leftElement: undefined, rightElement: targetTab };
+            return {
+                leftElement: undefined,
+                rightElement: targetTab
+            };
         }
         if (!isLeftSideOfTab && isLastTab) {
-            return { leftElement: targetTab, rightElement: undefined };
+            return {
+                leftElement: targetTab,
+                rightElement: undefined
+            };
         }
         const tabBefore = isLeftSideOfTab ? targetTab.previousElementSibling : targetTab;
         const tabAfter = isLeftSideOfTab ? targetTab : targetTab.nextElementSibling;
-        return { leftElement: tabBefore, rightElement: tabAfter };
+        return {
+            leftElement: tabBefore,
+            rightElement: tabAfter
+        };
     }
     async selectEditor(editor) {
         if (this.groupView.isActive(editor)) {
@@ -964,8 +1093,13 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         }
     }
     computeTabLabels() {
-        const { labelFormat } = this.groupsView.partOptions;
-        const { verbosity, shortenDuplicates } = this.getLabelConfigFlags(labelFormat);
+        const {
+            labelFormat
+        } = this.groupsView.partOptions;
+        const {
+            verbosity,
+            shortenDuplicates
+        } = this.getLabelConfigFlags(labelFormat);
         const labels = [];
         let activeEditorTabIndex = -1;
         this.tabsModel.getEditors(EditorsOrder.SEQUENTIAL).forEach((editor, tabIndex) => {
@@ -990,16 +1124,15 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
     shortenTabLabels(labels) {
         const mapNameToDuplicates = ( new Map());
         for (const label of labels) {
-            if (typeof label.description === 'string') {
+            if (typeof label.description === "string") {
                 getOrSet(mapNameToDuplicates, label.name, []).push(label);
-            }
-            else {
-                label.description = '';
+            } else {
+                label.description = "";
             }
         }
         for (const [, duplicateLabels] of mapNameToDuplicates) {
             if (duplicateLabels.length === 1 && !duplicateLabels[0].forceDescription) {
-                duplicateLabels[0].description = '';
+                duplicateLabels[0].description = "";
                 continue;
             }
             const mapDescriptionToDuplicates = ( new Map());
@@ -1009,7 +1142,11 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             let useLongDescriptions = false;
             for (const [, duplicateLabels] of mapDescriptionToDuplicates) {
                 if (!useLongDescriptions && duplicateLabels.length > 1) {
-                    const [first, ...rest] = ( duplicateLabels.map(({ editor }) => editor.getDescription(Verbosity.LONG)));
+                    const [first, ...rest] = ( duplicateLabels.map((
+                        {
+                            editor
+                        }
+                    ) => editor.getDescription(Verbosity.LONG)));
                     useLongDescriptions = ( rest.some(description => description !== first));
                 }
             }
@@ -1027,7 +1164,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             if (descriptions.length === 1) {
                 for (const label of mapDescriptionToDuplicates.get(descriptions[0]) || []) {
                     if (!label.forceDescription) {
-                        label.description = '';
+                        label.description = "";
                     }
                 }
                 continue;
@@ -1042,14 +1179,26 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
     }
     getLabelConfigFlags(value) {
         switch (value) {
-            case 'short':
-                return { verbosity: Verbosity.SHORT, shortenDuplicates: false };
-            case 'medium':
-                return { verbosity: Verbosity.MEDIUM, shortenDuplicates: false };
-            case 'long':
-                return { verbosity: Verbosity.LONG, shortenDuplicates: false };
-            default:
-                return { verbosity: Verbosity.MEDIUM, shortenDuplicates: true };
+        case "short":
+            return {
+                verbosity: Verbosity.SHORT,
+                shortenDuplicates: false
+            };
+        case "medium":
+            return {
+                verbosity: Verbosity.MEDIUM,
+                shortenDuplicates: false
+            };
+        case "long":
+            return {
+                verbosity: Verbosity.LONG,
+                shortenDuplicates: false
+            };
+        default:
+            return {
+                verbosity: Verbosity.MEDIUM,
+                shortenDuplicates: true
+            };
         }
     }
     redraw(options) {
@@ -1059,17 +1208,18 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 tabsContainerBorderColor = this.getColor(TAB_BORDER) || this.getColor(contrastBorder);
             }
             if (tabsContainerBorderColor) {
-                this.tabsAndActionsContainer.classList.add('tabs-border-bottom');
-                this.tabsAndActionsContainer.style.setProperty('--tabs-border-bottom-color', ( tabsContainerBorderColor.toString()));
-            }
-            else {
-                this.tabsAndActionsContainer.classList.remove('tabs-border-bottom');
-                this.tabsAndActionsContainer.style.removeProperty('--tabs-border-bottom-color');
+                this.tabsAndActionsContainer.classList.add("tabs-border-bottom");
+                this.tabsAndActionsContainer.style.setProperty("--tabs-border-bottom-color", ( tabsContainerBorderColor.toString()));
+            } else {
+                this.tabsAndActionsContainer.classList.remove("tabs-border-bottom");
+                this.tabsAndActionsContainer.style.removeProperty("--tabs-border-bottom-color");
             }
         }
-        this.forEachTab((editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => {
-            this.redrawTab(editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar);
-        });
+        this.forEachTab(
+            (editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar) => {
+                this.redrawTab(editor, tabIndex, tabContainer, tabLabelWidget, tabLabel, tabActionBar);
+            }
+        );
         this.updateEditorActionsToolbar();
         this.layout(this.dimensions, options);
     }
@@ -1083,47 +1233,54 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         let tabAction;
         if (hasAction) {
             tabAction = hasUnpinAction ? this.unpinEditorAction : this.closeEditorAction;
-        }
-        else {
+        } else {
             tabAction = isTabSticky ? this.unpinEditorAction : this.closeEditorAction;
         }
         if (!tabActionBar.hasAction(tabAction)) {
             if (!tabActionBar.isEmpty()) {
                 tabActionBar.clear();
             }
-            tabActionBar.push(tabAction, { icon: true, label: false, keybinding: this.getKeybindingLabel(tabAction) });
+            tabActionBar.push(tabAction, {
+                icon: true,
+                label: false,
+                keybinding: this.getKeybindingLabel(tabAction)
+            });
         }
         tabContainer.classList.toggle(`pinned-action-off`, isTabSticky && !hasUnpinAction);
         tabContainer.classList.toggle(`close-action-off`, !hasUnpinAction && !hasCloseAction);
-        for (const option of ['left', 'right']) {
+        for (const option of ["left", "right"]) {
             tabContainer.classList.toggle(`tab-actions-${option}`, hasAction && options.tabActionLocation === option);
         }
-        const tabSizing = isTabSticky && options.pinnedTabSizing === 'shrink' ? 'shrink'  : options.tabSizing;
-        for (const option of ['fit', 'shrink', 'fixed']) {
+        const tabSizing = isTabSticky && options.pinnedTabSizing === "shrink" ? "shrink"  : options.tabSizing;
+        for (const option of ["fit", "shrink", "fixed"]) {
             tabContainer.classList.toggle(`sizing-${option}`, tabSizing === option);
         }
-        tabContainer.classList.toggle('has-icon', options.showIcons && options.hasIcons);
-        tabContainer.classList.toggle('sticky', isTabSticky);
-        for (const option of ['normal', 'compact', 'shrink']) {
+        tabContainer.classList.toggle("has-icon", options.showIcons && options.hasIcons);
+        tabContainer.classList.toggle("sticky", isTabSticky);
+        for (const option of ["normal", "compact", "shrink"]) {
             tabContainer.classList.toggle(`sticky-${option}`, isTabSticky && options.pinnedTabSizing === option);
         }
-        if (!options.wrapTabs && isTabSticky && options.pinnedTabSizing !== 'normal') {
+        if (!options.wrapTabs && isTabSticky && options.pinnedTabSizing !== "normal") {
             let stickyTabWidth = 0;
             switch (options.pinnedTabSizing) {
-                case 'compact':
-                    stickyTabWidth = MultiEditorTabsControl_1.TAB_WIDTH.compact;
-                    break;
-                case 'shrink':
-                    stickyTabWidth = MultiEditorTabsControl_1.TAB_WIDTH.shrink;
-                    break;
+            case "compact":
+                stickyTabWidth = MultiEditorTabsControl_1.TAB_WIDTH.compact;
+                break;
+            case "shrink":
+                stickyTabWidth = MultiEditorTabsControl_1.TAB_WIDTH.shrink;
+                break;
             }
             tabContainer.style.left = `${tabIndex * stickyTabWidth}px`;
-        }
-        else {
-            tabContainer.style.left = 'auto';
+        } else {
+            tabContainer.style.left = "auto";
         }
         this.redrawTabBorders(tabIndex, tabContainer);
-        this.redrawTabSelectedActiveAndDirty(this.groupsView.activeGroup === this.groupView, editor, tabContainer, tabActionBar);
+        this.redrawTabSelectedActiveAndDirty(
+            this.groupsView.activeGroup === this.groupView,
+            editor,
+            tabContainer,
+            tabActionBar
+        );
     }
     redrawTabLabel(editor, tabIndex, tabContainer, tabLabelWidget, tabLabel) {
         const options = this.groupsView.partOptions;
@@ -1133,25 +1290,32 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         let fileDecorationBadges = Boolean(options.decorations?.badges);
         const fileDecorationColors = Boolean(options.decorations?.colors);
         let description;
-        if (options.pinnedTabSizing === 'compact' && this.tabsModel.isSticky(tabIndex)) {
+        if (options.pinnedTabSizing === "compact" && this.tabsModel.isSticky(tabIndex)) {
             const isShowingIcons = options.showIcons && options.hasIcons;
-            name = isShowingIcons ? '' : tabLabel.name?.charAt(0).toUpperCase();
-            description = '';
+            name = isShowingIcons ? "" : tabLabel.name?.charAt(0).toUpperCase();
+            description = "";
             forceLabel = true;
             fileDecorationBadges = false;
-        }
-        else {
+        } else {
             name = tabLabel.name;
             namePrefix = options.showTabIndex ? `${this.toEditorIndex(tabIndex) + 1}: ` : undefined;
-            description = tabLabel.description || '';
+            description = tabLabel.description || "";
         }
         if (tabLabel.ariaLabel) {
-            tabContainer.setAttribute('aria-label', tabLabel.ariaLabel);
-            tabContainer.setAttribute('aria-description', '');
-        }
-        tabLabelWidget.setResource({ name, description, resource: EditorResourceAccessor.getOriginalUri(editor, { supportSideBySide: SideBySideEditor.BOTH }) }, {
+            tabContainer.setAttribute("aria-label", tabLabel.ariaLabel);
+            tabContainer.setAttribute("aria-description", "");
+        }
+        tabLabelWidget.setResource({
+            name,
+            description,
+            resource: EditorResourceAccessor.getOriginalUri(editor, {
+                supportSideBySide: SideBySideEditor.BOTH
+            })
+        }, {
             title: this.getHoverTitle(editor),
-            extraClasses: coalesce(['tab-label', fileDecorationBadges ? 'tab-label-has-badge' : undefined].concat(editor.getLabelExtraClasses())),
+            extraClasses: coalesce(
+                ["tab-label", fileDecorationBadges ? "tab-label-has-badge" : undefined].concat(editor.getLabelExtraClasses())
+            ),
             italic: !this.tabsModel.isPinned(editor),
             forceLabel,
             fileDecorations: {
@@ -1160,14 +1324,15 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             },
             icon: editor.getIcon(),
             hideIcon: options.showIcons === false,
-            namePrefix,
+            namePrefix
+        });
+        const resource = EditorResourceAccessor.getOriginalUri(editor, {
+            supportSideBySide: SideBySideEditor.PRIMARY
         });
-        const resource = EditorResourceAccessor.getOriginalUri(editor, { supportSideBySide: SideBySideEditor.PRIMARY });
         if (resource) {
-            tabContainer.setAttribute('data-resource-name', basenameOrAuthority(resource));
-        }
-        else {
-            tabContainer.removeAttribute('data-resource-name');
+            tabContainer.setAttribute("data-resource-name", basenameOrAuthority(resource));
+        } else {
+            tabContainer.removeAttribute("data-resource-name");
         }
     }
     redrawTabSelectedActiveAndDirty(isGroupActive, editor, tabContainer, tabActionBar) {
@@ -1178,15 +1343,15 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
     doRedrawTabActive(isGroupActive, allowBorderTop, editor, tabContainer, tabActionBar) {
         const isActive = this.tabsModel.isActive(editor);
         const isSelected = this.tabsModel.isSelected(editor);
-        tabContainer.classList.toggle('active', isActive);
-        tabContainer.classList.toggle('selected', isSelected);
-        tabContainer.setAttribute('aria-selected', isActive ? 'true' : 'false');
+        tabContainer.classList.toggle("active", isActive);
+        tabContainer.classList.toggle("selected", isSelected);
+        tabContainer.setAttribute("aria-selected", isActive ? "true" : "false");
         tabContainer.tabIndex = isActive ? 0 : -1;
         tabActionBar.setFocusable(isActive);
         if (isActive) {
             const activeTabBorderColorBottom = this.getColor(isGroupActive ? TAB_ACTIVE_BORDER : TAB_UNFOCUSED_ACTIVE_BORDER);
-            tabContainer.classList.toggle('tab-border-bottom', !!activeTabBorderColorBottom);
-            tabContainer.style.setProperty('--tab-border-bottom-color', activeTabBorderColorBottom ?? '');
+            tabContainer.classList.toggle("tab-border-bottom", !!activeTabBorderColorBottom);
+            tabContainer.style.setProperty("--tab-border-bottom-color", activeTabBorderColorBottom ?? "");
         }
         let tabBorderColorTop = null;
         if (allowBorderTop) {
@@ -1197,41 +1362,37 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 tabBorderColorTop = this.getColor(TAB_SELECTED_BORDER_TOP);
             }
         }
-        tabContainer.classList.toggle('tab-border-top', !!tabBorderColorTop);
-        tabContainer.style.setProperty('--tab-border-top-color', tabBorderColorTop ?? '');
+        tabContainer.classList.toggle("tab-border-top", !!tabBorderColorTop);
+        tabContainer.style.setProperty("--tab-border-top-color", tabBorderColorTop ?? "");
     }
     doRedrawTabDirty(isGroupActive, isTabActive, editor, tabContainer) {
         let hasModifiedBorderColor = false;
         if (editor.isDirty() && !editor.isSaving()) {
-            tabContainer.classList.add('dirty');
+            tabContainer.classList.add("dirty");
             if (this.groupsView.partOptions.highlightModifiedTabs) {
                 let modifiedBorderColor;
                 if (isGroupActive && isTabActive) {
                     modifiedBorderColor = this.getColor(TAB_ACTIVE_MODIFIED_BORDER);
-                }
-                else if (isGroupActive && !isTabActive) {
+                } else if (isGroupActive && !isTabActive) {
                     modifiedBorderColor = this.getColor(TAB_INACTIVE_MODIFIED_BORDER);
-                }
-                else if (!isGroupActive && isTabActive) {
+                } else if (!isGroupActive && isTabActive) {
                     modifiedBorderColor = this.getColor(TAB_UNFOCUSED_ACTIVE_MODIFIED_BORDER);
-                }
-                else {
+                } else {
                     modifiedBorderColor = this.getColor(TAB_UNFOCUSED_INACTIVE_MODIFIED_BORDER);
                 }
                 if (modifiedBorderColor) {
                     hasModifiedBorderColor = true;
-                    tabContainer.classList.add('dirty-border-top');
-                    tabContainer.style.setProperty('--tab-dirty-border-top-color', modifiedBorderColor);
+                    tabContainer.classList.add("dirty-border-top");
+                    tabContainer.style.setProperty("--tab-dirty-border-top-color", modifiedBorderColor);
                 }
-            }
-            else {
-                tabContainer.classList.remove('dirty-border-top');
-                tabContainer.style.removeProperty('--tab-dirty-border-top-color');
+            } else {
+                tabContainer.classList.remove("dirty-border-top");
+                tabContainer.style.removeProperty("--tab-dirty-border-top-color");
             }
         }
         else {
-            tabContainer.classList.remove('dirty', 'dirty-border-top');
-            tabContainer.style.removeProperty('--tab-dirty-border-top-color');
+            tabContainer.classList.remove("dirty", "dirty-border-top");
+            tabContainer.style.removeProperty("--tab-dirty-border-top-color");
         }
         return hasModifiedBorderColor;
     }
@@ -1240,8 +1401,8 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         const isTabLastSticky = isTabSticky && this.tabsModel.stickyCount === tabIndex + 1;
         const showLastStickyTabBorderColor = this.tabsModel.stickyCount !== this.tabsModel.count;
         const borderRightColor = ((isTabLastSticky && showLastStickyTabBorderColor ? this.getColor(TAB_LAST_PINNED_BORDER) : undefined) || this.getColor(TAB_BORDER) || this.getColor(contrastBorder));
-        tabContainer.style.borderRight = borderRightColor ? `1px solid ${borderRightColor}` : '';
-        tabContainer.style.outlineColor = this.getColor(activeContrastBorder) || '';
+        tabContainer.style.borderRight = borderRightColor ? `1px solid ${borderRightColor}` : "";
+        tabContainer.style.outlineColor = this.getColor(activeContrastBorder) || "";
     }
     prepareEditorActions(editorActions) {
         const isGroupActive = this.groupsView.activeGroup === this.groupView;
@@ -1267,11 +1428,9 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         let height;
         if (!this.visible) {
             height = 0;
-        }
-        else if (this.groupsView.partOptions.wrapTabs && this.tabsAndActionsContainer?.classList.contains('wrapping')) {
+        } else if (this.groupsView.partOptions.wrapTabs && this.tabsAndActionsContainer?.classList.contains("wrapping")) {
             height = this.tabsAndActionsContainer.offsetHeight;
-        }
-        else {
+        } else {
             height = this.tabHeight;
         }
         return height;
@@ -1281,10 +1440,16 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         if (this.visible) {
             if (!this.layoutScheduler.value) {
                 const disposable = scheduleAtNextAnimationFrame(getWindow(this.parent), () => {
-                    this.doLayout(this.dimensions, this.layoutScheduler.value?.options );
+                    this.doLayout(
+                        this.dimensions,
+                        this.layoutScheduler.value?.options
+                    );
                     this.layoutScheduler.clear();
                 });
-                this.layoutScheduler.value = { options, dispose: () => disposable.dispose() };
+                this.layoutScheduler.value = {
+                    options,
+                    dispose: () => disposable.dispose()
+                };
             }
             if (options?.forceRevealActiveTab) {
                 this.layoutScheduler.value.options = {
@@ -1315,15 +1480,28 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         }
     }
     doLayoutTabsWrapping(dimensions) {
-        const [tabsAndActionsContainer, tabsContainer, editorToolbarContainer, tabsScrollbar] = assertReturnsAllDefined(this.tabsAndActionsContainer, this.tabsContainer, this.editorActionsToolbarContainer, this.tabsScrollbar);
-        const didTabsWrapMultiLine = tabsAndActionsContainer.classList.contains('wrapping');
+        const [
+            tabsAndActionsContainer,
+            tabsContainer,
+            editorToolbarContainer,
+            tabsScrollbar
+        ] = assertReturnsAllDefined(
+            this.tabsAndActionsContainer,
+            this.tabsContainer,
+            this.editorActionsToolbarContainer,
+            this.tabsScrollbar
+        );
+        const didTabsWrapMultiLine = tabsAndActionsContainer.classList.contains("wrapping");
         let tabsWrapMultiLine = didTabsWrapMultiLine;
         function updateTabsWrapping(enabled) {
             tabsWrapMultiLine = enabled;
-            tabsAndActionsContainer.classList.toggle('wrapping', tabsWrapMultiLine);
-            tabsContainer.style.setProperty('--last-tab-margin-right', tabsWrapMultiLine ? `${editorToolbarContainer.offsetWidth}px` : '0');
+            tabsAndActionsContainer.classList.toggle("wrapping", tabsWrapMultiLine);
+            tabsContainer.style.setProperty(
+                "--last-tab-margin-right",
+                tabsWrapMultiLine ? `${editorToolbarContainer.offsetWidth}px` : "0"
+            );
             for (const tab of tabsContainer.children) {
-                tab.classList.remove('last-in-row');
+                tab.classList.remove("last-in-row");
             }
         }
         if (this.groupsView.partOptions.wrapTabs) {
@@ -1344,10 +1522,8 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 updateTabsWrapping(true);
             }
             if (tabsWrapMultiLine) {
-                if ((tabsContainer.offsetHeight > dimensions.available.height) ||
-                    (allTabsWidth === visibleTabsWidth && tabsContainer.offsetHeight === this.tabHeight) ||
-                    (!lastTabFitsWrapped())
-                ) {
+                if (
+                (tabsContainer.offsetHeight > dimensions.available.height) || (allTabsWidth === visibleTabsWidth && tabsContainer.offsetHeight === this.tabHeight) || (!lastTabFitsWrapped())) {
                     updateTabsWrapping(false);
                 }
             }
@@ -1382,7 +1558,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                 tabs.set(lastTab, true);
             }
             for (const [tab, lastInRow] of tabs) {
-                tab.classList.toggle('last-in-row', lastInRow);
+                tab.classList.toggle("last-in-row", lastInRow);
             }
         }
         return tabsWrapMultiLine;
@@ -1395,27 +1571,26 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         if (this.tabsModel.stickyCount > 0) {
             let stickyTabWidth = 0;
             switch (this.groupsView.partOptions.pinnedTabSizing) {
-                case 'compact':
-                    stickyTabWidth = MultiEditorTabsControl_1.TAB_WIDTH.compact;
-                    break;
-                case 'shrink':
-                    stickyTabWidth = MultiEditorTabsControl_1.TAB_WIDTH.shrink;
-                    break;
+            case "compact":
+                stickyTabWidth = MultiEditorTabsControl_1.TAB_WIDTH.compact;
+                break;
+            case "shrink":
+                stickyTabWidth = MultiEditorTabsControl_1.TAB_WIDTH.shrink;
+                break;
             }
             stickyTabsWidth = this.tabsModel.stickyCount * stickyTabWidth;
         }
         const activeTabAndIndex = this.tabsModel.activeEditor ? this.getTabAndIndex(this.tabsModel.activeEditor) : undefined;
         const [activeTab, activeTabIndex] = activeTabAndIndex ?? [undefined, undefined];
-        let activeTabPositionStatic = this.groupsView.partOptions.pinnedTabSizing !== 'normal' && typeof activeTabIndex === 'number' && this.tabsModel.isSticky(activeTabIndex);
+        let activeTabPositionStatic = this.groupsView.partOptions.pinnedTabSizing !== "normal" && typeof activeTabIndex === "number" && this.tabsModel.isSticky(activeTabIndex);
         let availableTabsContainerWidth = visibleTabsWidth - stickyTabsWidth;
         if (this.tabsModel.stickyCount > 0 && availableTabsContainerWidth < MultiEditorTabsControl_1.TAB_WIDTH.fit) {
-            tabsContainer.classList.add('disable-sticky-tabs');
+            tabsContainer.classList.add("disable-sticky-tabs");
             availableTabsContainerWidth = visibleTabsWidth;
             stickyTabsWidth = 0;
             activeTabPositionStatic = false;
-        }
-        else {
-            tabsContainer.classList.remove('disable-sticky-tabs');
+        } else {
+            tabsContainer.classList.remove("disable-sticky-tabs");
         }
         let activeTabPosX;
         let activeTabWidth;
@@ -1423,18 +1598,17 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             activeTabPosX = activeTab.offsetLeft;
             activeTabWidth = activeTab.offsetWidth;
         }
-        const { width: oldVisibleTabsWidth, scrollWidth: oldAllTabsWidth } = tabsScrollbar.getScrollDimensions();
+        const {
+            width: oldVisibleTabsWidth,
+            scrollWidth: oldAllTabsWidth
+        } = tabsScrollbar.getScrollDimensions();
         tabsScrollbar.setScrollDimensions({
             width: visibleTabsWidth,
             scrollWidth: allTabsWidth
         });
         const dimensionsChanged = oldVisibleTabsWidth !== visibleTabsWidth || oldAllTabsWidth !== allTabsWidth;
-        if (this.blockRevealActiveTab ||
-            typeof activeTabPosX !== 'number' ||
-            typeof activeTabWidth !== 'number' ||
-            activeTabPositionStatic ||
-            (!dimensionsChanged && !options?.forceRevealActiveTab)
-        ) {
+        if (
+        this.blockRevealActiveTab || typeof activeTabPosX !== "number" || typeof activeTabWidth !== "number" || activeTabPositionStatic || (!dimensionsChanged && !options?.forceRevealActiveTab)) {
             this.blockRevealActiveTab = false;
             return;
         }
@@ -1443,7 +1617,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         const adjustedActiveTabPosX = activeTabPosX - stickyTabsWidth;
         if (activeTabFits && tabsContainerScrollPosX + availableTabsContainerWidth < adjustedActiveTabPosX + activeTabWidth) {
             tabsScrollbar.setScrollPosition({
-                scrollLeft: tabsContainerScrollPosX + (((adjustedActiveTabPosX + activeTabWidth)  - (tabsContainerScrollPosX + availableTabsContainerWidth)) )
+                scrollLeft: tabsContainerScrollPosX + ((adjustedActiveTabPosX + activeTabWidth)  - (tabsContainerScrollPosX + availableTabsContainerWidth))
             });
         }
         else if (tabsContainerScrollPosX > adjustedActiveTabPosX || !activeTabFits) {
@@ -1454,7 +1628,7 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
     }
     updateTabsControlVisibility() {
         const tabsAndActionsContainer = assertReturnsDefined(this.tabsAndActionsContainer);
-        tabsAndActionsContainer.classList.toggle('empty', !this.visible);
+        tabsAndActionsContainer.classList.toggle("empty", !this.visible);
         if (!this.visible && this.dimensions) {
             this.dimensions.used = undefined;
         }
@@ -1487,16 +1661,15 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         let element;
         if (isMouseEvent(e)) {
             element = (e.target || e.srcElement);
-        }
-        else {
+        } else {
             element = e.initialTarget;
         }
-        return !!findParentWithClass(element, 'action-item', 'tab');
+        return !!findParentWithClass(element, "action-item", "tab");
     }
     async onDrop(e, targetTabIndex, tabsContainer) {
         EventHelper.stop(e, true);
         this.updateDropFeedback(tabsContainer, false, e, targetTabIndex);
-        tabsContainer.classList.remove('scroll');
+        tabsContainer.classList.remove("scroll");
         let targetEditorIndex = this.tabsModel instanceof UnstickyEditorGroupModel ? targetTabIndex + this.groupView.stickyCount : targetTabIndex;
         const options = {
             sticky: this.tabsModel instanceof StickyEditorGroupModel && this.tabsModel.stickyCount === targetEditorIndex,
@@ -1507,7 +1680,9 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
             if (Array.isArray(data) && data.length > 0) {
                 const sourceGroup = this.editorPartsView.getGroup(data[0].identifier);
                 if (sourceGroup) {
-                    const mergeGroupOptions = { index: targetEditorIndex };
+                    const mergeGroupOptions = {
+                        index: targetEditorIndex
+                    };
                     if (!this.isMoveOperation(e, sourceGroup.id)) {
                         mergeGroupOptions.mode = MergeGroupMode.COPY_EDITORS;
                     }
@@ -1532,10 +1707,15 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                             targetEditorIndex--;
                         }
                         if (this.isMoveOperation(e, de.identifier.groupId, editor)) {
-                            sourceGroup.moveEditor(editor, this.groupView, { ...options, index: targetEditorIndex });
-                        }
-                        else {
-                            sourceGroup.copyEditor(editor, this.groupView, { ...options, index: targetEditorIndex });
+                            sourceGroup.moveEditor(editor, this.groupView, {
+                                ...options,
+                                index: targetEditorIndex
+                            });
+                        } else {
+                            sourceGroup.copyEditor(editor, this.groupView, {
+                                ...options,
+                                index: targetEditorIndex
+                            });
                         }
                         targetEditorIndex++;
                     }
@@ -1552,18 +1732,33 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
                     const dataTransferItem = await this.treeViewsDragAndDropService.removeDragOperationTransfer(id.identifier);
                     if (dataTransferItem) {
                         const treeDropData = await extractTreeDropData(dataTransferItem);
-                        editors.push(...( treeDropData.map(
-                            editor => ({ ...editor, options: { ...editor.options, pinned: true, index: targetEditorIndex } })
-                        )));
+                        editors.push(...( treeDropData.map(editor => ({
+                            ...editor,
+                            options: {
+                                ...editor.options,
+                                pinned: true,
+                                index: targetEditorIndex
+                            }
+                        }))));
                     }
                 }
-                this.editorService.openEditors(editors, this.groupView, { validateTrust: true });
+                this.editorService.openEditors(editors, this.groupView, {
+                    validateTrust: true
+                });
             }
             this.treeItemsTransfer.clearData(DraggedTreeItemsIdentifier.prototype);
         }
         else {
-            const dropHandler = this.instantiationService.createInstance(ResourcesDropHandler, { allowWorkspaceOpen: false });
-            dropHandler.handleDrop(e, getWindow(this.parent), () => this.groupView, () => this.groupView.focus(), options);
+            const dropHandler = this.instantiationService.createInstance(ResourcesDropHandler, {
+                allowWorkspaceOpen: false
+            });
+            dropHandler.handleDrop(
+                e,
+                getWindow(this.parent),
+                () => this.groupView,
+                () => this.groupView.focus(),
+                options
+            );
         }
     }
     dispose() {
@@ -1571,137 +1766,124 @@ let MultiEditorTabsControl = class MultiEditorTabsControl extends EditorTabsCont
         this.tabDisposables = dispose(this.tabDisposables);
     }
 };
-MultiEditorTabsControl = MultiEditorTabsControl_1 = ( __decorate([
-    ( __param(5, IContextMenuService)),
-    ( __param(6, IInstantiationService)),
-    ( __param(7, IContextKeyService)),
-    ( __param(8, IKeybindingService)),
-    ( __param(9, INotificationService)),
-    ( __param(10, IQuickInputService)),
-    ( __param(11, IThemeService)),
-    ( __param(12, IEditorService)),
-    ( __param(13, IPathService)),
-    ( __param(14, ITreeViewsDnDService)),
-    ( __param(15, IEditorResolverService)),
-    ( __param(16, IHostService))
-], MultiEditorTabsControl));
+MultiEditorTabsControl = MultiEditorTabsControl_1 = ( __decorate([( __param(5, IContextMenuService)), ( __param(6, IInstantiationService)), ( __param(7, IContextKeyService)), ( __param(8, IKeybindingService)), ( __param(9, INotificationService)), ( __param(10, IQuickInputService)), ( __param(11, IThemeService)), ( __param(12, IEditorService)), ( __param(13, IPathService)), ( __param(14, ITreeViewsDnDService)), ( __param(15, IEditorResolverService)), ( __param(16, IHostService))], MultiEditorTabsControl));
 registerThemingParticipant((theme, collector) => {
     const borderColor = theme.getColor(TAB_BORDER);
     if (borderColor) {
         collector.addRule(`
-			.monaco-workbench .part.editor > .content .editor-group-container > .title > .tabs-and-actions-container.wrapping .tabs-container > .tab {
-				border-bottom: 1px solid ${borderColor};
-			}
-		`);
+            .monaco-workbench .part.editor > .content .editor-group-container > .title > .tabs-and-actions-container.wrapping .tabs-container > .tab {
+                border-bottom: 1px solid ${borderColor};
+            }
+        `);
     }
     const activeContrastBorderColor = theme.getColor(activeContrastBorder);
     if (activeContrastBorderColor) {
         collector.addRule(`
-			.monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab.active,
-			.monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab.active:hover  {
-				outline: 1px solid;
-				outline-offset: -5px;
-			}
+            .monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab.active,
+            .monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab.active:hover  {
+                outline: 1px solid;
+                outline-offset: -5px;
+            }
 
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.selected:not(.active):not(:hover)  {
-				outline: 1px dotted;
-				outline-offset: -5px;
-			}
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.selected:not(.active):not(:hover)  {
+                outline: 1px dotted;
+                outline-offset: -5px;
+            }
 
-			.monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab.active:focus {
-				outline-style: dashed;
-			}
+            .monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab.active:focus {
+                outline-style: dashed;
+            }
 
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.active {
-				outline: 1px dotted;
-				outline-offset: -5px;
-			}
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.active {
+                outline: 1px dotted;
+                outline-offset: -5px;
+            }
 
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:hover  {
-				outline: 1px dashed;
-				outline-offset: -5px;
-			}
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:hover  {
+                outline: 1px dashed;
+                outline-offset: -5px;
+            }
 
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.active > .tab-actions .action-label,
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.active:hover > .tab-actions .action-label,
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.dirty > .tab-actions .action-label,
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.sticky > .tab-actions .action-label,
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:hover > .tab-actions .action-label {
-				opacity: 1 !important;
-			}
-		`);
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.active > .tab-actions .action-label,
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.active:hover > .tab-actions .action-label,
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.dirty > .tab-actions .action-label,
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.sticky > .tab-actions .action-label,
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:hover > .tab-actions .action-label {
+                opacity: 1 !important;
+            }
+        `);
     }
     const contrastBorderColor = theme.getColor(contrastBorder);
     if (contrastBorderColor) {
         collector.addRule(`
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .editor-actions {
-				outline: 1px solid ${contrastBorderColor}
-			}
-		`);
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .editor-actions {
+                outline: 1px solid ${contrastBorderColor}
+            }
+        `);
     }
     const tabHoverBackground = theme.getColor(TAB_HOVER_BACKGROUND);
     if (tabHoverBackground) {
         collector.addRule(`
-			.monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab:not(.selected):hover {
-				background-color: ${tabHoverBackground} !important;
-			}
-		`);
+            .monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab:not(.selected):hover {
+                background-color: ${tabHoverBackground} !important;
+            }
+        `);
     }
     const tabUnfocusedHoverBackground = theme.getColor(TAB_UNFOCUSED_HOVER_BACKGROUND);
     if (tabUnfocusedHoverBackground) {
         collector.addRule(`
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:not(.selected):hover  {
-				background-color: ${tabUnfocusedHoverBackground} !important;
-			}
-		`);
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:not(.selected):hover  {
+                background-color: ${tabUnfocusedHoverBackground} !important;
+            }
+        `);
     }
     const tabHoverForeground = theme.getColor(TAB_HOVER_FOREGROUND);
     if (tabHoverForeground) {
         collector.addRule(`
-			.monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab:not(.selected):hover  {
-				color: ${tabHoverForeground} !important;
-			}
-		`);
+            .monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab:not(.selected):hover  {
+                color: ${tabHoverForeground} !important;
+            }
+        `);
     }
     const tabUnfocusedHoverForeground = theme.getColor(TAB_UNFOCUSED_HOVER_FOREGROUND);
     if (tabUnfocusedHoverForeground) {
         collector.addRule(`
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:not(.selected):hover  {
-				color: ${tabUnfocusedHoverForeground} !important;
-			}
-		`);
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:not(.selected):hover  {
+                color: ${tabUnfocusedHoverForeground} !important;
+            }
+        `);
     }
     const tabHoverBorder = theme.getColor(TAB_HOVER_BORDER);
     if (tabHoverBorder) {
         collector.addRule(`
-			.monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab:hover > .tab-border-bottom-container {
-				display: block;
-				position: absolute;
-				left: 0;
-				pointer-events: none;
-				width: 100%;
-				z-index: 10;
-				bottom: 0;
-				height: 1px;
-				background-color: ${tabHoverBorder};
-			}
-		`);
+            .monaco-workbench .part.editor > .content .editor-group-container.active > .title .tabs-container > .tab:hover > .tab-border-bottom-container {
+                display: block;
+                position: absolute;
+                left: 0;
+                pointer-events: none;
+                width: 100%;
+                z-index: 10;
+                bottom: 0;
+                height: 1px;
+                background-color: ${tabHoverBorder};
+            }
+        `);
     }
     const tabUnfocusedHoverBorder = theme.getColor(TAB_UNFOCUSED_HOVER_BORDER);
     if (tabUnfocusedHoverBorder) {
         collector.addRule(`
-			.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:hover > .tab-border-bottom-container  {
-				display: block;
-				position: absolute;
-				left: 0;
-				pointer-events: none;
-				width: 100%;
-				z-index: 10;
-				bottom: 0;
-				height: 1px;
-				background-color: ${tabUnfocusedHoverBorder};
-			}
-		`);
+            .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab:hover > .tab-border-bottom-container  {
+                display: block;
+                position: absolute;
+                left: 0;
+                pointer-events: none;
+                width: 100%;
+                z-index: 10;
+                bottom: 0;
+                height: 1px;
+                background-color: ${tabUnfocusedHoverBorder};
+            }
+        `);
     }
     if (!isHighContrast(theme.type) && !isSafari && !activeContrastBorderColor) {
         const workbenchBackground = WORKBENCH_BACKGROUND(theme);
@@ -1714,19 +1896,24 @@ registerThemingParticipant((theme, collector) => {
         }
         let adjustedTabDragBackground;
         if (editorGroupHeaderTabsBackground && editorBackgroundColor && editorDragAndDropBackground && editorBackgroundColor) {
-            adjustedTabDragBackground = editorGroupHeaderTabsBackground.flatten(editorBackgroundColor, editorDragAndDropBackground, editorBackgroundColor, workbenchBackground);
+            adjustedTabDragBackground = editorGroupHeaderTabsBackground.flatten(
+                editorBackgroundColor,
+                editorDragAndDropBackground,
+                editorBackgroundColor,
+                workbenchBackground
+            );
         }
         const makeTabHoverBackgroundRule = (color, colorDrag, hasFocus = false) => `
-			.monaco-workbench .part.editor > .content:not(.dragged-over) .editor-group-container${hasFocus ? '.active' : ''} > .title .tabs-container > .tab.sizing-shrink:not(.dragged):not(.sticky-compact):hover > .tab-label > .monaco-icon-label-container::after,
-			.monaco-workbench .part.editor > .content:not(.dragged-over) .editor-group-container${hasFocus ? '.active' : ''} > .title .tabs-container > .tab.sizing-fixed:not(.dragged):not(.sticky-compact):hover > .tab-label > .monaco-icon-label-container::after {
-				background: linear-gradient(to left, ${color}, transparent) !important;
-			}
+            .monaco-workbench .part.editor > .content:not(.dragged-over) .editor-group-container${hasFocus ? ".active" : ""} > .title .tabs-container > .tab.sizing-shrink:not(.dragged):not(.sticky-compact):hover > .tab-label > .monaco-icon-label-container::after,
+            .monaco-workbench .part.editor > .content:not(.dragged-over) .editor-group-container${hasFocus ? ".active" : ""} > .title .tabs-container > .tab.sizing-fixed:not(.dragged):not(.sticky-compact):hover > .tab-label > .monaco-icon-label-container::after {
+                background: linear-gradient(to left, ${color}, transparent) !important;
+            }
 
-			.monaco-workbench .part.editor > .content.dragged-over .editor-group-container${hasFocus ? '.active' : ''} > .title .tabs-container > .tab.sizing-shrink:not(.dragged):not(.sticky-compact):hover > .tab-label > .monaco-icon-label-container::after,
-			.monaco-workbench .part.editor > .content.dragged-over .editor-group-container${hasFocus ? '.active' : ''} > .title .tabs-container > .tab.sizing-fixed:not(.dragged):not(.sticky-compact):hover > .tab-label > .monaco-icon-label-container::after {
-				background: linear-gradient(to left, ${colorDrag}, transparent) !important;
-			}
-		`;
+            .monaco-workbench .part.editor > .content.dragged-over .editor-group-container${hasFocus ? ".active" : ""} > .title .tabs-container > .tab.sizing-shrink:not(.dragged):not(.sticky-compact):hover > .tab-label > .monaco-icon-label-container::after,
+            .monaco-workbench .part.editor > .content.dragged-over .editor-group-container${hasFocus ? ".active" : ""} > .title .tabs-container > .tab.sizing-fixed:not(.dragged):not(.sticky-compact):hover > .tab-label > .monaco-icon-label-container::after {
+                background: linear-gradient(to left, ${colorDrag}, transparent) !important;
+            }
+        `;
         if (tabHoverBackground && adjustedTabBackground && adjustedTabDragBackground) {
             const adjustedColor = tabHoverBackground.flatten(adjustedTabBackground);
             const adjustedColorDrag = tabHoverBackground.flatten(adjustedTabDragBackground);
@@ -1740,25 +1927,25 @@ registerThemingParticipant((theme, collector) => {
         if (editorDragAndDropBackground && adjustedTabDragBackground) {
             const adjustedColorDrag = editorDragAndDropBackground.flatten(adjustedTabDragBackground);
             collector.addRule(`
-				.monaco-workbench .part.editor > .content.dragged-over .editor-group-container.active > .title .tabs-container > .tab.sizing-shrink.dragged-over:not(.active):not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
-				.monaco-workbench .part.editor > .content.dragged-over .editor-group-container:not(.active) > .title .tabs-container > .tab.sizing-shrink.dragged-over:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
-				.monaco-workbench .part.editor > .content.dragged-over .editor-group-container.active > .title .tabs-container > .tab.sizing-fixed.dragged-over:not(.active):not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
-				.monaco-workbench .part.editor > .content.dragged-over .editor-group-container:not(.active) > .title .tabs-container > .tab.sizing-fixed.dragged-over:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after {
-					background: linear-gradient(to left, ${adjustedColorDrag}, transparent) !important;
-				}
-		`);
+                .monaco-workbench .part.editor > .content.dragged-over .editor-group-container.active > .title .tabs-container > .tab.sizing-shrink.dragged-over:not(.active):not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
+                .monaco-workbench .part.editor > .content.dragged-over .editor-group-container:not(.active) > .title .tabs-container > .tab.sizing-shrink.dragged-over:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
+                .monaco-workbench .part.editor > .content.dragged-over .editor-group-container.active > .title .tabs-container > .tab.sizing-fixed.dragged-over:not(.active):not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
+                .monaco-workbench .part.editor > .content.dragged-over .editor-group-container:not(.active) > .title .tabs-container > .tab.sizing-fixed.dragged-over:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after {
+                    background: linear-gradient(to left, ${adjustedColorDrag}, transparent) !important;
+                }
+        `);
         }
         const makeTabBackgroundRule = (color, colorDrag, focused, active) => `
-				.monaco-workbench .part.editor > .content:not(.dragged-over) .editor-group-container${focused ? '.active' : ':not(.active)'} > .title .tabs-container > .tab.sizing-shrink${active ? '.active' : ''}:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
-				.monaco-workbench .part.editor > .content:not(.dragged-over) .editor-group-container${focused ? '.active' : ':not(.active)'} > .title .tabs-container > .tab.sizing-fixed${active ? '.active' : ''}:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after {
-					background: linear-gradient(to left, ${color}, transparent);
-				}
+                .monaco-workbench .part.editor > .content:not(.dragged-over) .editor-group-container${focused ? ".active" : ":not(.active)"} > .title .tabs-container > .tab.sizing-shrink${active ? ".active" : ""}:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
+                .monaco-workbench .part.editor > .content:not(.dragged-over) .editor-group-container${focused ? ".active" : ":not(.active)"} > .title .tabs-container > .tab.sizing-fixed${active ? ".active" : ""}:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after {
+                    background: linear-gradient(to left, ${color}, transparent);
+                }
 
-				.monaco-workbench .part.editor > .content.dragged-over .editor-group-container${focused ? '.active' : ':not(.active)'} > .title .tabs-container > .tab.sizing-shrink${active ? '.active' : ''}:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
-				.monaco-workbench .part.editor > .content.dragged-over .editor-group-container${focused ? '.active' : ':not(.active)'} > .title .tabs-container > .tab.sizing-fixed${active ? '.active' : ''}:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after {
-					background: linear-gradient(to left, ${colorDrag}, transparent);
-				}
-		`;
+                .monaco-workbench .part.editor > .content.dragged-over .editor-group-container${focused ? ".active" : ":not(.active)"} > .title .tabs-container > .tab.sizing-shrink${active ? ".active" : ""}:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after,
+                .monaco-workbench .part.editor > .content.dragged-over .editor-group-container${focused ? ".active" : ":not(.active)"} > .title .tabs-container > .tab.sizing-fixed${active ? ".active" : ""}:not(.dragged):not(.sticky-compact) > .tab-label > .monaco-icon-label-container::after {
+                    background: linear-gradient(to left, ${colorDrag}, transparent);
+                }
+        `;
         const tabActiveBackground = theme.getColor(TAB_ACTIVE_BACKGROUND);
         if (tabActiveBackground && adjustedTabBackground && adjustedTabDragBackground) {
             const adjustedColor = tabActiveBackground.flatten(adjustedTabBackground);