@codingame/monaco-vscode-view-common-service-override 5.3.0 → 6.0.1

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

@@ -1,7 +1,7 @@
 import { __decorate, __param } from 'vscode/external/tslib/tslib.es6.js';
 import { IThemeService } from 'vscode/vscode/vs/platform/theme/common/themeService.service';
 import { Part } from 'vscode/vscode/vs/workbench/browser/part';
-import { $, getWindow, getActiveElement, isAncestorOfActiveElement, addDisposableGenericMouseDownListener, EventHelper, Dimension } from 'vscode/vscode/vs/base/browser/dom';
+import { $, getWindow, getActiveElement, isAncestorOfActiveElement, isHTMLElement, addDisposableGenericMouseDownListener, EventHelper, Dimension } from 'vscode/vscode/vs/base/browser/dom';
 import { Relay, Event, Emitter, PauseableEmitter } from 'vscode/vscode/vs/base/common/event';
 import 'vscode/vscode/vs/platform/theme/common/colorUtils';
 import { contrastBorder } from 'vscode/vscode/vs/platform/theme/common/colors/baseColors';
@@ -14,20 +14,24 @@ import 'vscode/vscode/vs/platform/theme/common/colors/minimapColors';
 import 'vscode/vscode/vs/platform/theme/common/colors/miscColors';
 import 'vscode/vscode/vs/platform/theme/common/colors/quickpickColors';
 import 'vscode/vscode/vs/platform/theme/common/colors/searchColors';
+import { GroupOrientation, GroupsOrder, GroupLocation, GroupsArrangement, GroupDirection, MergeGroupMode } from 'vscode/vscode/vs/workbench/services/editor/common/editorGroupsService';
 import { IInstantiationService } from 'vscode/vscode/vs/platform/instantiation/common/instantiation';
-import { isGridBranchNode, createSerializedGrid, Sizing, SerializableGrid } from '../../../../base/browser/ui/grid/grid.js';
+import { isGridBranchNode, createSerializedGrid, Sizing, Direction, SerializableGrid } from '../../../../base/browser/ui/grid/grid.js';
+import { GroupModelChangeKind } from 'vscode/vscode/vs/workbench/common/editor';
 import { EDITOR_GROUP_BORDER, EDITOR_PANE_BACKGROUND } from 'vscode/vscode/vs/workbench/common/theme';
 import { coalesce, distinct } from 'vscode/vscode/vs/base/common/arrays';
 import { getEditorPartOptions, impactsEditorPartOptions } from 'vscode/vscode/vs/workbench/browser/parts/editor/editor';
 import { EditorGroupView } from 'vscode/vscode/vs/workbench/browser/parts/editor/editorGroupView';
 import { IConfigurationService } from 'vscode/vscode/vs/platform/configuration/common/configuration.service';
 import { DisposableStore, toDisposable, dispose } from 'vscode/vscode/vs/base/common/lifecycle';
+import { StorageScope, StorageTarget } from 'vscode/vscode/vs/platform/storage/common/storage';
 import { IStorageService } from 'vscode/vscode/vs/platform/storage/common/storage.service';
 import { isSerializedEditorGroupModel } from 'vscode/vscode/vs/workbench/common/editor/editorGroupModel';
 import { EditorDropTarget } from './editorDropTarget.js';
 import { Color } from 'vscode/vscode/vs/base/common/color';
 import { CenteredViewLayout } from '../../../../base/browser/ui/centered/centeredViewLayout.js';
 import { onUnexpectedError } from 'vscode/vscode/vs/base/common/errors';
+import { Parts, Position } from 'vscode/vscode/vs/workbench/services/layout/browser/layoutService';
 import { IWorkbenchLayoutService } from 'vscode/vscode/vs/workbench/services/layout/browser/layoutService.service';
 import { assertType, assertIsDefined } from 'vscode/vscode/vs/base/common/types';
 import { CompositeDragAndDropObserver } from 'vscode/vscode/vs/workbench/browser/dnd';
@@ -39,7 +43,9 @@ import { IContextKeyService } from 'vscode/vscode/vs/platform/contextkey/common/
 import { ServiceCollection } from 'vscode/vscode/vs/platform/instantiation/common/serviceCollection';
 import { IsAuxiliaryEditorPartContext, EditorPartMultipleEditorGroupsContext, EditorPartMaximizedEditorGroupContext } from 'vscode/vscode/vs/workbench/common/contextkeys';
 import { mainWindow } from 'vscode/vscode/vs/base/browser/window';
+import { LayoutPriority } from 'vscode/vscode/vs/base/browser/ui/splitview/splitview';
 import { orthogonal } from '../../../../base/browser/ui/grid/gridview.js';
+import { Orientation } from 'vscode/vscode/vs/base/browser/ui/sash/sash';
 
 var EditorPart_1;
 class GridWidgetView {
@@ -115,8 +121,8 @@ let EditorPart = class EditorPart extends Part {
         this.onDidScroll = Event.any(this.onDidSetGridWidget.event, this._onDidScroll.event);
         this._onDidChangeEditorPartOptions = this._register(( new Emitter()));
         this.onDidChangeEditorPartOptions = this._onDidChangeEditorPartOptions.event;
-        this.workspaceMemento = this.getMemento(1 , 0 );
-        this.profileMemento = this.getMemento(0 , 1 );
+        this.workspaceMemento = this.getMemento(StorageScope.WORKSPACE, StorageTarget.USER);
+        this.profileMemento = this.getMemento(StorageScope.PROFILE, StorageTarget.MACHINE);
         this.groupViews = ( new Map());
         this.mostRecentActiveGroups = [];
         this.gridWidgetDisposables = this._register(( new DisposableStore()));
@@ -137,13 +143,13 @@ let EditorPart = class EditorPart extends Part {
         this.whenRestoredPromise = ( new DeferredPromise());
         this.whenRestored = this.whenRestoredPromise.p;
         this._willRestoreState = false;
-        this.priority = 2 ;
+        this.priority = LayoutPriority.High;
         this.registerListeners();
     }
     registerListeners() {
         this._register(this.configurationService.onDidChangeConfiguration(e => this.onConfigurationUpdated(e)));
         this._register(this.themeService.onDidFileIconThemeChange(() => this.handleChangedPartOptions()));
-        this._register(this.onDidChangeMementoValue(1 , this._store)(e => this.onDidChangeMementoState(e)));
+        this._register(this.onDidChangeMementoValue(StorageScope.WORKSPACE, this._store)(e => this.onDidChangeMementoState(e)));
     }
     onConfigurationUpdated(event) {
         if (impactsEditorPartOptions(event)) {
@@ -179,22 +185,22 @@ let EditorPart = class EditorPart extends Part {
         return this.groupViews.size;
     }
     get orientation() {
-        return ((this.gridWidget && this.gridWidget.orientation === 0) ) ? 1  : 0 ;
+        return (this.gridWidget && this.gridWidget.orientation === Orientation.VERTICAL) ? GroupOrientation.VERTICAL : GroupOrientation.HORIZONTAL;
     }
     get isReady() { return this._isReady; }
     get hasRestorableState() {
         return !!this.workspaceMemento[EditorPart_1.EDITOR_PART_UI_STATE_STORAGE_KEY];
     }
     get willRestoreState() { return this._willRestoreState; }
-    getGroups(order = 0 ) {
+    getGroups(order = GroupsOrder.CREATION_TIME) {
         switch (order) {
-            case 0 :
+            case GroupsOrder.CREATION_TIME:
                 return this.groups;
-            case 1 : {
+            case GroupsOrder.MOST_RECENTLY_ACTIVE: {
                 const mostRecentActive = coalesce(( this.mostRecentActiveGroups.map(groupId => this.getGroup(groupId))));
                 return distinct([...mostRecentActive, ...this.groups]);
             }
-            case 2 : {
+            case GroupsOrder.GRID_APPEARANCE: {
                 const views = [];
                 if (this.gridWidget) {
                     this.fillGridNodes(views, this.gridWidget.getViews());
@@ -234,24 +240,24 @@ let EditorPart = class EditorPart extends Part {
     }
     doFindGroupByLocation(location, source, wrap) {
         const sourceGroupView = this.assertGroupView(source);
-        const groups = this.getGroups(2 );
+        const groups = this.getGroups(GroupsOrder.GRID_APPEARANCE);
         const index = groups.indexOf(sourceGroupView);
         switch (location) {
-            case 0 :
+            case GroupLocation.FIRST:
                 return groups[0];
-            case 1 :
+            case GroupLocation.LAST:
                 return groups[groups.length - 1];
-            case 2 : {
+            case GroupLocation.NEXT: {
                 let nextGroup = groups[index + 1];
                 if (!nextGroup && wrap) {
-                    nextGroup = this.doFindGroupByLocation(0 , source);
+                    nextGroup = this.doFindGroupByLocation(GroupLocation.FIRST, source);
                 }
                 return nextGroup;
             }
-            case 3 : {
+            case GroupLocation.PREVIOUS: {
                 let previousGroup = groups[index - 1];
                 if (!previousGroup && wrap) {
-                    previousGroup = this.doFindGroupByLocation(1 , source);
+                    previousGroup = this.doFindGroupByLocation(GroupLocation.LAST, source);
                 }
                 return previousGroup;
             }
@@ -287,17 +293,17 @@ let EditorPart = class EditorPart extends Part {
         }
         const groupView = this.assertGroupView(target);
         switch (arrangement) {
-            case 2 :
+            case GroupsArrangement.EVEN:
                 this.gridWidget.distributeViewSizes();
                 break;
-            case 0 :
+            case GroupsArrangement.MAXIMIZE:
                 if (this.groups.length < 2) {
                     return;
                 }
                 this.gridWidget.maximizeView(groupView);
                 groupView.focus();
                 break;
-            case 1 :
+            case GroupsArrangement.EXPAND:
                 this.gridWidget.expandView(groupView);
                 break;
         }
@@ -307,15 +313,15 @@ let EditorPart = class EditorPart extends Part {
             this.unmaximizeGroup();
         }
         else {
-            this.arrangeGroups(0 , target);
+            this.arrangeGroups(GroupsArrangement.MAXIMIZE, target);
         }
     }
     toggleExpandGroup(target = this.activeGroup) {
         if (this.isGroupExpanded(this.activeGroup)) {
-            this.arrangeGroups(2 );
+            this.arrangeGroups(GroupsArrangement.EVEN);
         }
         else {
-            this.arrangeGroups(1 , target);
+            this.arrangeGroups(GroupsArrangement.EXPAND, target);
         }
     }
     unmaximizeGroup() {
@@ -335,7 +341,7 @@ let EditorPart = class EditorPart extends Part {
         if (!this.gridWidget) {
             return;
         }
-        const newOrientation = ((orientation === 0) ) ? 1  : 0 ;
+        const newOrientation = (orientation === GroupOrientation.HORIZONTAL) ? Orientation.HORIZONTAL : Orientation.VERTICAL;
         if (this.gridWidget.orientation !== newOrientation) {
             this.gridWidget.orientation = newOrientation;
         }
@@ -354,7 +360,7 @@ let EditorPart = class EditorPart extends Part {
             }
         }
         countGroups(layout.groups);
-        let currentGroupViews = this.getGroups(2 );
+        let currentGroupViews = this.getGroups(GroupsOrder.GRID_APPEARANCE);
         if (layoutGroupsCount < currentGroupViews.length) {
             const lastGroupInLayout = currentGroupViews[layoutGroupsCount - 1];
             currentGroupViews.forEach((group, index) => {
@@ -362,7 +368,7 @@ let EditorPart = class EditorPart extends Part {
                     this.mergeGroup(group, lastGroupInLayout);
                 }
             });
-            currentGroupViews = this.getGroups(2 );
+            currentGroupViews = this.getGroups(GroupsOrder.GRID_APPEARANCE);
         }
         const activeGroup = this.activeGroup;
         const gridDescriptor = createSerializedGrid({
@@ -379,7 +385,7 @@ let EditorPart = class EditorPart extends Part {
     }
     getLayout() {
         const serializedGrid = this.gridWidget.serialize();
-        const orientation = serializedGrid.orientation === 1  ? 0  : 1 ;
+        const orientation = serializedGrid.orientation === Orientation.HORIZONTAL ? GroupOrientation.HORIZONTAL : GroupOrientation.VERTICAL;
         const root = this.serializedNodeToGroupLayoutArgument(serializedGrid.root);
         return {
             orientation,
@@ -424,7 +430,7 @@ let EditorPart = class EditorPart extends Part {
             this._onDidAddGroup.fire(newGroupView);
             this.notifyGroupIndexChange();
             if (shouldExpand) {
-                this.arrangeGroups(1 , newGroupView);
+                this.arrangeGroups(GroupsArrangement.EXPAND, newGroupView);
             }
             if (restoreFocus) {
                 locationView.focus();
@@ -445,16 +451,16 @@ let EditorPart = class EditorPart extends Part {
                 return Sizing.Auto;
         }
     }
-    doCreateGroupView(from) {
+    doCreateGroupView(from, options) {
         let groupView;
         if (from instanceof EditorGroupView) {
-            groupView = EditorGroupView.createCopy(from, this.editorPartsView, this, this.groupsLabel, this.count, this.scopedInstantiationService);
+            groupView = EditorGroupView.createCopy(from, this.editorPartsView, this, this.groupsLabel, this.count, this.scopedInstantiationService, options);
         }
         else if (isSerializedEditorGroupModel(from)) {
-            groupView = EditorGroupView.createFromSerialized(from, this.editorPartsView, this, this.groupsLabel, this.count, this.scopedInstantiationService);
+            groupView = EditorGroupView.createFromSerialized(from, this.editorPartsView, this, this.groupsLabel, this.count, this.scopedInstantiationService, options);
         }
         else {
-            groupView = EditorGroupView.createNew(this.editorPartsView, this, this.groupsLabel, this.count, this.scopedInstantiationService);
+            groupView = EditorGroupView.createNew(this.editorPartsView, this, this.groupsLabel, this.count, this.scopedInstantiationService, options);
         }
         this.groupViews.set(groupView.id, groupView);
         const groupDisposables = ( new DisposableStore());
@@ -464,13 +470,13 @@ let EditorPart = class EditorPart extends Part {
         }));
         groupDisposables.add(groupView.onDidModelChange(e => {
             switch (e.kind) {
-                case 3 :
+                case GroupModelChangeKind.GROUP_LOCKED:
                     this._onDidChangeGroupLocked.fire(groupView);
                     break;
-                case 1 :
+                case GroupModelChangeKind.GROUP_INDEX:
                     this._onDidChangeGroupIndex.fire(groupView);
                     break;
-                case 2 :
+                case GroupModelChangeKind.GROUP_LABEL:
                     this._onDidChangeGroupLabel.fire(groupView);
                     break;
             }
@@ -509,7 +515,7 @@ let EditorPart = class EditorPart extends Part {
         try {
             const viewSize = this.gridWidget.getViewSize(group);
             if (viewSize.width === group.minimumWidth || viewSize.height === group.minimumHeight) {
-                this.arrangeGroups(1 , group);
+                this.arrangeGroups(GroupsArrangement.EXPAND, group);
             }
         }
         catch (error) {
@@ -526,15 +532,15 @@ let EditorPart = class EditorPart extends Part {
     }
     toGridViewDirection(direction) {
         switch (direction) {
-            case 0 : return 0 ;
-            case 1 : return 1 ;
-            case 2 : return 2 ;
-            case 3 : return 3 ;
+            case GroupDirection.UP: return Direction.Up;
+            case GroupDirection.DOWN: return Direction.Down;
+            case GroupDirection.LEFT: return Direction.Left;
+            case GroupDirection.RIGHT: return Direction.Right;
         }
     }
     toGridViewOrientation(orientation, fallback) {
         if (typeof orientation === 'number') {
-            return orientation === 0  ? 1  : 0 ;
+            return orientation === GroupOrientation.HORIZONTAL ? Orientation.HORIZONTAL : Orientation.VERTICAL;
         }
         return fallback;
     }
@@ -551,7 +557,7 @@ let EditorPart = class EditorPart extends Part {
         }
     }
     doRemoveGroupWithEditors(groupView) {
-        const mostRecentlyActiveGroups = this.getGroups(1 );
+        const mostRecentlyActiveGroups = this.getGroups(GroupsOrder.MOST_RECENTLY_ACTIVE);
         let lastActiveGroup;
         if (this._activeGroup === groupView) {
             lastActiveGroup = mostRecentlyActiveGroups[1];
@@ -564,7 +570,7 @@ let EditorPart = class EditorPart extends Part {
     doRemoveEmptyGroup(groupView, preserveFocus) {
         const restoreFocus = !preserveFocus && this.shouldRestoreFocus(this.container);
         if (this._activeGroup === groupView) {
-            const mostRecentlyActiveGroups = this.getGroups(1 );
+            const mostRecentlyActiveGroups = this.getGroups(GroupsOrder.MOST_RECENTLY_ACTIVE);
             const nextActiveGroup = mostRecentlyActiveGroups[1];
             this.doSetGroupActive(nextActiveGroup);
         }
@@ -624,7 +630,7 @@ let EditorPart = class EditorPart extends Part {
             index++;
         }
         let result = true;
-        if (options?.mode === 0 ) {
+        if (options?.mode === MergeGroupMode.COPY_EDITORS) {
             sourceView.copyEditors(editors, targetView);
         }
         else {
@@ -638,7 +644,7 @@ let EditorPart = class EditorPart extends Part {
     mergeAllGroups(target) {
         const targetView = this.assertGroupView(target);
         let result = true;
-        for (const group of this.getGroups(1 )) {
+        for (const group of this.getGroups(GroupsOrder.MOST_RECENTLY_ACTIVE)) {
             if (group === targetView) {
                 continue;
             }
@@ -663,7 +669,7 @@ let EditorPart = class EditorPart extends Part {
         return groupView;
     }
     createEditorDropTarget(container, delegate) {
-        assertType(container instanceof HTMLElement);
+        assertType(isHTMLElement(container));
         return this.scopedInstantiationService.createInstance(EditorDropTarget, container, delegate);
     }
     get minimumWidth() { return Math.min(this.centeredLayoutWidget.minimumWidth, this.layoutService.getMaximumEditorDimensions(this.layoutService.getContainer(getWindow(this.container))).width); }
@@ -691,7 +697,7 @@ let EditorPart = class EditorPart extends Part {
         }
         parent.appendChild(this.container);
         const scopedContextKeyService = this._register(this.contextKeyService.createScoped(this.container));
-        this.scopedInstantiationService = this.instantiationService.createChild(( new ServiceCollection([IContextKeyService, scopedContextKeyService])));
+        this.scopedInstantiationService = this._register(this.instantiationService.createChild(( new ServiceCollection([IContextKeyService, scopedContextKeyService]))));
         this._willRestoreState = !options || options.restorePreviousState;
         this.doCreateGridControl();
         this.centeredLayoutWidget = this._register(( new CenteredViewLayout(
@@ -750,11 +756,11 @@ let EditorPart = class EditorPart extends Part {
         let lastOpenHorizontalPosition;
         let lastOpenVerticalPosition;
         const openPartAtPosition = (position) => {
-            if (!this.layoutService.isVisible("workbench.parts.panel" ) && position === this.layoutService.getPanelPosition()) {
-                this.layoutService.setPartHidden(false, "workbench.parts.panel" );
+            if (!this.layoutService.isVisible(Parts.PANEL_PART) && position === this.layoutService.getPanelPosition()) {
+                this.layoutService.setPartHidden(false, Parts.PANEL_PART);
             }
-            else if (!this.layoutService.isVisible("workbench.parts.auxiliarybar" ) && position === ((this.layoutService.getSideBarPosition() === 1  ? 0  : 1) )) {
-                this.layoutService.setPartHidden(false, "workbench.parts.auxiliarybar" );
+            else if (!this.layoutService.isVisible(Parts.AUXILIARYBAR_PART) && position === (this.layoutService.getSideBarPosition() === Position.RIGHT ? Position.LEFT : Position.RIGHT)) {
+                this.layoutService.setPartHidden(false, Parts.AUXILIARYBAR_PART);
             }
         };
         const clearAllTimeouts = () => {
@@ -778,13 +784,13 @@ let EditorPart = class EditorPart extends Part {
                 let openVerticalPosition = undefined;
                 const proximity = 100;
                 if (e.eventData.clientX < boundingRect.left + proximity) {
-                    openHorizontalPosition = 0 ;
+                    openHorizontalPosition = Position.LEFT;
                 }
                 if (e.eventData.clientX > boundingRect.right - proximity) {
-                    openHorizontalPosition = 1 ;
+                    openHorizontalPosition = Position.RIGHT;
                 }
                 if (e.eventData.clientY > boundingRect.bottom - proximity) {
-                    openVerticalPosition = 2 ;
+                    openVerticalPosition = Position.BOTTOM;
                 }
                 if (horizontalOpenerTimeout && openHorizontalPosition !== lastOpenHorizontalPosition) {
                     clearTimeout(horizontalOpenerTimeout);
@@ -848,7 +854,7 @@ let EditorPart = class EditorPart extends Part {
         }
         return true;
     }
-    doCreateGridControlWithState(serializedGrid, activeGroupId, editorGroupViewsToReuse) {
+    doCreateGridControlWithState(serializedGrid, activeGroupId, editorGroupViewsToReuse, options) {
         let reuseGroupViews;
         if (editorGroupViewsToReuse) {
             reuseGroupViews = editorGroupViewsToReuse.slice(0);
@@ -864,7 +870,7 @@ let EditorPart = class EditorPart extends Part {
                     groupView = reuseGroupViews.shift();
                 }
                 else {
-                    groupView = this.doCreateGroupView(serializedEditorGroup);
+                    groupView = this.doCreateGroupView(serializedEditorGroup, options);
                 }
                 groupViews.push(groupView);
                 if (groupView.id === activeGroupId) {
@@ -902,7 +908,7 @@ let EditorPart = class EditorPart extends Part {
         container.classList.toggle('empty', this.isEmpty);
     }
     notifyGroupIndexChange() {
-        this.getGroups(2 ).forEach((group, index) => group.notifyIndexChanged(index));
+        this.getGroups(GroupsOrder.GRID_APPEARANCE).forEach((group, index) => group.notifyIndexChanged(index));
     }
     notifyGroupsLabelChange(newLabel) {
         for (const group of this.groups) {
@@ -957,20 +963,20 @@ let EditorPart = class EditorPart extends Part {
             mostRecentActiveGroups: this.mostRecentActiveGroups
         };
     }
-    applyState(state) {
+    applyState(state, options) {
         if (state === 'empty') {
             return this.doApplyEmptyState();
         }
         else {
-            return this.doApplyState(state);
+            return this.doApplyState(state, options);
         }
     }
-    async doApplyState(state) {
+    async doApplyState(state, options) {
         const groups = await this.doPrepareApplyState();
         const resumeEvents = this.disposeGroups(true );
         this.mostRecentActiveGroups = state.mostRecentActiveGroups;
         try {
-            this.doApplyGridState(state.serializedGrid, state.activeGroup);
+            this.doApplyGridState(state.serializedGrid, state.activeGroup, undefined, options);
         }
         finally {
             resumeEvents();
@@ -987,17 +993,17 @@ let EditorPart = class EditorPart extends Part {
         this.mergeAllGroups(this.activeGroup);
     }
     async doPrepareApplyState() {
-        const groups = this.getGroups(1 );
+        const groups = this.getGroups(GroupsOrder.MOST_RECENTLY_ACTIVE);
         for (const group of groups) {
             await group.closeAllEditors({ excludeConfirming: true });
         }
         return groups;
     }
-    doApplyGridState(gridState, activeGroupId, editorGroupViewsToReuse) {
-        this.doCreateGridControlWithState(gridState, activeGroupId, editorGroupViewsToReuse);
+    doApplyGridState(gridState, activeGroupId, editorGroupViewsToReuse, options) {
+        this.doCreateGridControlWithState(gridState, activeGroupId, editorGroupViewsToReuse, options);
         this.doLayout(this._contentDimension);
         this.updateContainer();
-        for (const groupView of this.getGroups(2 )) {
+        for (const groupView of this.getGroups(GroupsOrder.GRID_APPEARANCE)) {
             if (!editorGroupViewsToReuse?.includes(groupView)) {
                 this._onDidAddGroup.fire(groupView);
             }
@@ -1005,7 +1011,7 @@ let EditorPart = class EditorPart extends Part {
         this.notifyGroupIndexChange();
     }
     onDidChangeMementoState(e) {
-        if (e.external && e.scope === 1 ) {
+        if (e.external && e.scope === StorageScope.WORKSPACE) {
             this.reloadMemento(e.scope);
             const state = this.loadState();
             if (state) {
@@ -1015,7 +1021,7 @@ let EditorPart = class EditorPart extends Part {
     }
     toJSON() {
         return {
-            type: "workbench.parts.editor"
+            type: Parts.EDITOR_PART
         };
     }
     disposeGroups(surpressEvents) {
@@ -1049,7 +1055,7 @@ EditorPart = EditorPart_1 = ( __decorate([
 ], EditorPart));
 let MainEditorPart = class MainEditorPart extends EditorPart {
     constructor(editorPartsView, instantiationService, themeService, configurationService, storageService, layoutService, hostService, contextKeyService) {
-        super(editorPartsView, "workbench.parts.editor" , '', mainWindow.vscodeWindowId, instantiationService, themeService, configurationService, storageService, layoutService, hostService, contextKeyService);
+        super(editorPartsView, Parts.EDITOR_PART, '', mainWindow.vscodeWindowId, instantiationService, themeService, configurationService, storageService, layoutService, hostService, contextKeyService);
     }
 };
 MainEditorPart = ( __decorate([