@codingame/monaco-vscode-api 28.4.1 → 29.1.0

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

@@ -271,12 +271,12 @@ class StatusInputMode extends Disposable {
         );
     }
 }
-const nlsSingleSelectionRange = ( localize(3503, "Ln {0}, Col {1} ({2} selected)"));
-const nlsSingleSelection = ( localize(3504, "Ln {0}, Col {1}"));
-const nlsMultiSelectionRange = ( localize(3505, "{0} selections ({1} characters selected)"));
-const nlsMultiSelection = ( localize(3506, "{0} selections"));
-const nlsEOLLF = ( localize(3507, "LF"));
-const nlsEOLCRLF = ( localize(3508, "CRLF"));
+const nlsSingleSelectionRange = ( localize(3511, "Ln {0}, Col {1} ({2} selected)"));
+const nlsSingleSelection = ( localize(3512, "Ln {0}, Col {1}"));
+const nlsMultiSelectionRange = ( localize(3513, "{0} selections ({1} characters selected)"));
+const nlsMultiSelection = ( localize(3514, "{0} selections"));
+const nlsEOLLF = ( localize(3515, "LF"));
+const nlsEOLCRLF = ( localize(3516, "CRLF"));
 let EditorStatus = class EditorStatus extends Disposable {
     constructor(
         targetWindowId,
@@ -347,12 +347,12 @@ let EditorStatus = class EditorStatus extends Disposable {
         const activeTextEditorControl = getCodeEditor(this.editorService.activeTextEditorControl);
         if (!activeTextEditorControl) {
             return this.quickInputService.pick([{
-                label: ( localize(3509, "No text editor active at this time"))
+                label: ( localize(3517, "No text editor active at this time"))
             }]);
         }
         if (this.editorService.activeEditor?.isReadonly()) {
             return this.quickInputService.pick([{
-                label: ( localize(3510, "The active code editor is read-only."))
+                label: ( localize(3518, "The active code editor is read-only."))
             }]);
         }
         const picks = ( [
@@ -376,14 +376,14 @@ let EditorStatus = class EditorStatus extends Disposable {
         }));
         picks.splice(3, 0, {
             type: "separator",
-            label: ( localize(3511, "convert file"))
+            label: ( localize(3519, "convert file"))
         });
         picks.unshift({
             type: "separator",
-            label: ( localize(3512, "change view"))
+            label: ( localize(3520, "change view"))
         });
         const action = await this.quickInputService.pick(picks, {
-            placeHolder: ( localize(3513, "Select Action")),
+            placeHolder: ( localize(3521, "Select Action")),
             matchOnDetail: true
         });
         return action?.run();
@@ -391,12 +391,12 @@ let EditorStatus = class EditorStatus extends Disposable {
     updateTabFocusModeElement(visible) {
         if (visible) {
             if (!this.tabFocusModeElement.value) {
-                const text = ( localize(3514, "Tab Moves Focus"));
+                const text = ( localize(3522, "Tab Moves Focus"));
                 this.tabFocusModeElement.value = this.statusbarService.addEntry({
-                    name: ( localize(3515, "Accessibility Mode")),
+                    name: ( localize(3523, "Accessibility Mode")),
                     text,
                     ariaLabel: text,
-                    tooltip: ( localize(3516, "Disable Accessibility Mode")),
+                    tooltip: ( localize(3524, "Disable Accessibility Mode")),
                     command: "editor.action.toggleTabFocusMode",
                     kind: "prominent"
                 }, "status.editor.tabFocusMode", StatusbarAlignment.RIGHT, 100.7);
@@ -408,8 +408,8 @@ let EditorStatus = class EditorStatus extends Disposable {
     updateInputModeElement(inputMode) {
         if (inputMode === "overtype") {
             if (!this.inputModeElement.value) {
-                const text = ( localize(3517, "OVR"));
-                const name = ( localize(3518, "Enable Insert Mode"));
+                const text = ( localize(3525, "OVR"));
+                const name = ( localize(3526, "Enable Insert Mode"));
                 this.inputModeElement.value = this.statusbarService.addEntry({
                     name,
                     text,
@@ -426,12 +426,12 @@ let EditorStatus = class EditorStatus extends Disposable {
     updateColumnSelectionModeElement(visible) {
         if (visible) {
             if (!this.columnSelectionModeElement.value) {
-                const text = ( localize(3519, "Column Selection"));
+                const text = ( localize(3527, "Column Selection"));
                 this.columnSelectionModeElement.value = this.statusbarService.addEntry({
-                    name: ( localize(3520, "Column Selection Mode")),
+                    name: ( localize(3528, "Column Selection Mode")),
                     text,
                     ariaLabel: text,
-                    tooltip: ( localize(3521, "Disable Column Selection Mode")),
+                    tooltip: ( localize(3529, "Disable Column Selection Mode")),
                     command: "editor.action.toggleColumnSelection",
                     kind: "prominent"
                 }, "status.editor.columnSelectionMode", StatusbarAlignment.RIGHT, 100.8);
@@ -451,10 +451,10 @@ let EditorStatus = class EditorStatus extends Disposable {
             return;
         }
         const props = {
-            name: ( localize(3522, "Editor Selection")),
+            name: ( localize(3530, "Editor Selection")),
             text,
             ariaLabel: text,
-            tooltip: ( localize(3523, "Go to Line/Column")),
+            tooltip: ( localize(3531, "Go to Line/Column")),
             command: "workbench.action.gotoLine"
         };
         this.updateElement(
@@ -476,10 +476,10 @@ let EditorStatus = class EditorStatus extends Disposable {
             return;
         }
         const props = {
-            name: ( localize(3524, "Editor Indentation")),
+            name: ( localize(3532, "Editor Indentation")),
             text,
             ariaLabel: text,
-            tooltip: ( localize(3525, "Select Indentation")),
+            tooltip: ( localize(3533, "Select Indentation")),
             command: `changeEditorIndentation${this.targetWindowId}`
         };
         this.updateElement(
@@ -496,10 +496,10 @@ let EditorStatus = class EditorStatus extends Disposable {
             return;
         }
         const props = {
-            name: ( localize(3526, "Editor Encoding")),
+            name: ( localize(3534, "Editor Encoding")),
             text,
             ariaLabel: text,
-            tooltip: ( localize(3527, "Select Encoding")),
+            tooltip: ( localize(3535, "Select Encoding")),
             command: "workbench.action.editor.changeEncoding"
         };
         this.updateElement(
@@ -516,10 +516,10 @@ let EditorStatus = class EditorStatus extends Disposable {
             return;
         }
         const props = {
-            name: ( localize(3528, "Editor End of Line")),
+            name: ( localize(3536, "Editor End of Line")),
             text,
             ariaLabel: text,
-            tooltip: ( localize(3529, "Select End of Line Sequence")),
+            tooltip: ( localize(3537, "Select End of Line Sequence")),
             command: "workbench.action.editor.changeEOL"
         };
         this.updateElement(
@@ -536,10 +536,10 @@ let EditorStatus = class EditorStatus extends Disposable {
             return;
         }
         const props = {
-            name: ( localize(3530, "Editor Language")),
+            name: ( localize(3538, "Editor Language")),
             text,
             ariaLabel: text,
-            tooltip: ( localize(3531, "Select Language Mode")),
+            tooltip: ( localize(3539, "Select Language Mode")),
             command: "workbench.action.editor.changeLanguageMode"
         };
         this.updateElement(
@@ -556,10 +556,10 @@ let EditorStatus = class EditorStatus extends Disposable {
             return;
         }
         const props = {
-            name: ( localize(3532, "File Information")),
+            name: ( localize(3540, "File Information")),
             text,
             ariaLabel: text,
-            tooltip: ( localize(3533, "File Information"))
+            tooltip: ( localize(3541, "File Information"))
         };
         this.updateElement(
             this.metadataElement,
@@ -732,12 +732,12 @@ let EditorStatus = class EditorStatus extends Disposable {
             const model = editorWidget.getModel();
             if (model) {
                 const modelOpts = model.getOptions();
-                update.indentation = (modelOpts.insertSpaces ? modelOpts.tabSize === modelOpts.indentSize ? ( localize(3534, "Spaces: {0}", modelOpts.indentSize)) : ( localize(
-                    3535,
+                update.indentation = (modelOpts.insertSpaces ? modelOpts.tabSize === modelOpts.indentSize ? ( localize(3542, "Spaces: {0}", modelOpts.indentSize)) : ( localize(
+                    3543,
                     "Spaces: {0} (Tab Size: {1})",
                     modelOpts.indentSize,
                     modelOpts.tabSize
-                )) : ( localize(3536, "Tab Size: {0}", modelOpts.tabSize)));
+                )) : ( localize(3544, "Tab Size: {0}", modelOpts.tabSize)));
             }
         }
         this.updateState(update);
@@ -913,13 +913,13 @@ let ShowCurrentMarkerInStatusbarContribution = class ShowCurrentMarkerInStatusba
                 const text = `${this.getType(this.currentMarker)} ${line}`;
                 if (!this.statusBarEntryAccessor.value) {
                     this.statusBarEntryAccessor.value = this.statusbarService.addEntry({
-                        name: ( localize(3537, "Current Problem")),
+                        name: ( localize(3545, "Current Problem")),
                         text,
                         ariaLabel: text
                     }, "statusbar.currentProblem", StatusbarAlignment.LEFT);
                 } else {
                     this.statusBarEntryAccessor.value.update({
-                        name: ( localize(3537, "Current Problem")),
+                        name: ( localize(3545, "Current Problem")),
                         text,
                         ariaLabel: text
                     });
@@ -1017,7 +1017,7 @@ class ChangeLanguageAction extends Action2 {
     constructor() {
         super({
             id: ChangeLanguageAction.ID,
-            title: ( localize2(3538, "Change Language Mode")),
+            title: ( localize2(3546, "Change Language Mode")),
             f1: true,
             keybinding: {
                 weight: KeybindingWeight.WorkbenchContrib,
@@ -1025,9 +1025,9 @@ class ChangeLanguageAction extends Action2 {
             },
             precondition: ContextKeyExpr.not("notebookEditorFocused"),
             metadata: {
-                description: ( localize(3539, "Change the language mode of the active text editor.")),
+                description: ( localize(3547, "Change the language mode of the active text editor.")),
                 args: [{
-                    name: ( localize(3540, "The name of the language mode to change to.")),
+                    name: ( localize(3548, "The name of the language mode to change to.")),
                     constraint: value => typeof value === "string"
                 }]
             }
@@ -1047,7 +1047,7 @@ class ChangeLanguageAction extends Action2 {
         const activeTextEditorControl = getCodeEditor(editorService.activeTextEditorControl);
         if (!activeTextEditorControl) {
             await quickInputService.pick([{
-                label: ( localize(3509, "No text editor active at this time"))
+                label: ( localize(3517, "No text editor active at this time"))
             }]);
             return;
         }
@@ -1075,9 +1075,9 @@ class ChangeLanguageAction extends Action2 {
             const extensions = languageService.getExtensions(languageId).join(" ");
             let description;
             if (currentLanguageName === languageName) {
-                description = ( localize(3541, "({0}) - Configured Language", languageId));
+                description = ( localize(3549, "({0}) - Configured Language", languageId));
             } else {
-                description = ( localize(3542, "({0})", languageId));
+                description = ( localize(3550, "({0})", languageId));
             }
             return {
                 id: languageId,
@@ -1089,7 +1089,7 @@ class ChangeLanguageAction extends Action2 {
         }));
         picks.unshift({
             type: "separator",
-            label: ( localize(3543, "languages (identifier)"))
+            label: ( localize(3551, "languages (identifier)"))
         });
         let configureLanguageAssociations;
         let configureLanguageSettings;
@@ -1099,22 +1099,22 @@ class ChangeLanguageAction extends Action2 {
             if (galleryService.isEnabled()) {
                 galleryAction = toAction({
                     id: "workbench.action.showLanguageExtensions",
-                    label: ( localize(3544, "Search Marketplace Extensions for '{0}'...", ext)),
+                    label: ( localize(3552, "Search Marketplace Extensions for '{0}'...", ext)),
                     run: () => commandService.executeCommand("workbench.extensions.action.showExtensionsForLanguage", ext)
                 });
                 picks.unshift(galleryAction);
             }
             configureLanguageSettings = {
-                label: ( localize(3545, "Configure '{0}' language based settings...", currentLanguageName))
+                label: ( localize(3553, "Configure '{0}' language based settings...", currentLanguageName))
             };
             picks.unshift(configureLanguageSettings);
             configureLanguageAssociations = {
-                label: ( localize(3546, "Configure File Association for '{0}'...", ext))
+                label: ( localize(3554, "Configure File Association for '{0}'...", ext))
             };
             picks.unshift(configureLanguageAssociations);
         }
         const autoDetectLanguage = {
-            label: ( localize(3547, "Auto Detect"))
+            label: ( localize(3555, "Auto Detect"))
         };
         if (textModel && textModel.getValueLength() > 0) {
             picks.unshift(autoDetectLanguage);
@@ -1122,7 +1122,7 @@ class ChangeLanguageAction extends Action2 {
         const pick = typeof languageMode === "string" ? {
             label: languageMode
         } : await quickInputService.pick(picks, {
-            placeHolder: ( localize(3548, "Select Language Mode")),
+            placeHolder: ( localize(3556, "Select Language Mode")),
             matchOnDescription: true
         });
         if (!pick) {
@@ -1217,12 +1217,12 @@ class ChangeLanguageAction extends Action2 {
                 id: languageId,
                 label: languageName,
                 iconClasses: getIconClassesForLanguageId(languageId),
-                description: (languageId === currentAssociation) ? ( localize(3549, "Current Association")) : undefined
+                description: (languageId === currentAssociation) ? ( localize(3557, "Current Association")) : undefined
             };
         }));
         setTimeout(async () => {
             const language = await quickInputService.pick(picks, {
-                placeHolder: ( localize(3550, "Select Language Mode to Associate with '{0}'", extension || base))
+                placeHolder: ( localize(3558, "Select Language Mode to Associate with '{0}'", extension || base))
             });
             if (language) {
                 const fileAssociationsConfig = configurationService.inspect(FILES_ASSOCIATIONS_CONFIG);
@@ -1249,7 +1249,7 @@ class ChangeEOLAction extends Action2 {
     constructor() {
         super({
             id: "workbench.action.editor.changeEOL",
-            title: ( localize2(3551, "Change End of Line Sequence")),
+            title: ( localize2(3559, "Change End of Line Sequence")),
             f1: true
         });
     }
@@ -1259,13 +1259,13 @@ class ChangeEOLAction extends Action2 {
         const activeTextEditorControl = getCodeEditor(editorService.activeTextEditorControl);
         if (!activeTextEditorControl) {
             await quickInputService.pick([{
-                label: ( localize(3509, "No text editor active at this time"))
+                label: ( localize(3517, "No text editor active at this time"))
             }]);
             return;
         }
         if (editorService.activeEditor?.isReadonly()) {
             await quickInputService.pick([{
-                label: ( localize(3510, "The active code editor is read-only."))
+                label: ( localize(3518, "The active code editor is read-only."))
             }]);
             return;
         }
@@ -1279,7 +1279,7 @@ class ChangeEOLAction extends Action2 {
         }];
         const selectedIndex = (textModel?.getEOL() === "\n") ? 0 : 1;
         const eol = await quickInputService.pick(EOLOptions, {
-            placeHolder: ( localize(3552, "Select End of Line Sequence")),
+            placeHolder: ( localize(3560, "Select End of Line Sequence")),
             activeItem: EOLOptions[selectedIndex]
         });
         if (eol) {
@@ -1298,7 +1298,7 @@ class ChangeEncodingAction extends Action2 {
     constructor() {
         super({
             id: "workbench.action.editor.changeEncoding",
-            title: ( localize2(3553, "Change File Encoding")),
+            title: ( localize2(3561, "Change File Encoding")),
             f1: true
         });
     }
@@ -1312,29 +1312,29 @@ class ChangeEncodingAction extends Action2 {
         const activeTextEditorControl = getCodeEditor(editorService.activeTextEditorControl);
         if (!activeTextEditorControl) {
             await quickInputService.pick([{
-                label: ( localize(3509, "No text editor active at this time"))
+                label: ( localize(3517, "No text editor active at this time"))
             }]);
             return;
         }
         const activeEditorPane = editorService.activeEditorPane;
         if (!activeEditorPane) {
             await quickInputService.pick([{
-                label: ( localize(3509, "No text editor active at this time"))
+                label: ( localize(3517, "No text editor active at this time"))
             }]);
             return;
         }
         const encodingSupport = toEditorWithEncodingSupport(activeEditorPane.input);
         if (!encodingSupport) {
             await quickInputService.pick([{
-                label: ( localize(3554, "No file active at this time"))
+                label: ( localize(3562, "No file active at this time"))
             }]);
             return;
         }
         const saveWithEncodingPick = {
-            label: ( localize(3555, "Save with Encoding"))
+            label: ( localize(3563, "Save with Encoding"))
         };
         const reopenWithEncodingPick = {
-            label: ( localize(3556, "Reopen with Encoding"))
+            label: ( localize(3564, "Reopen with Encoding"))
         };
         if (!Language.isDefaultVariant()) {
             const saveWithEncodingAlias = "Save with Encoding";
@@ -1353,7 +1353,7 @@ class ChangeEncodingAction extends Action2 {
             action = reopenWithEncodingPick;
         } else {
             action = await quickInputService.pick([reopenWithEncodingPick, saveWithEncodingPick], {
-                placeHolder: ( localize(3513, "Select Action")),
+                placeHolder: ( localize(3521, "Select Action")),
                 matchOnDetail: true
             });
         }
@@ -1411,11 +1411,11 @@ class ChangeEncodingAction extends Action2 {
             picks.unshift({
                 id: guessedEncoding,
                 label: SUPPORTED_ENCODINGS[guessedEncoding].labelLong,
-                description: ( localize(3557, "Guessed from content"))
+                description: ( localize(3565, "Guessed from content"))
             });
         }
         const encoding = await quickInputService.pick(picks, {
-            placeHolder: isReopenWithEncoding ? ( localize(3558, "Select File Encoding to Reopen File")) : ( localize(3559, "Select File Encoding to Save with")),
+            placeHolder: isReopenWithEncoding ? ( localize(3566, "Select File Encoding to Reopen File")) : ( localize(3567, "Select File Encoding to Save with")),
             activeItem: items[typeof directMatchIndex === "number" ? directMatchIndex : typeof aliasMatchIndex === "number" ? aliasMatchIndex : -1]
         });
         if (!encoding) {
@@ -1431,11 +1431,11 @@ class ChangeEncodingAction extends Action2 {
                     confirmed
                 } = await dialogService.confirm({
                     message: ( localize(
-                        3560,
+                        3568,
                         "Do you want to revert the active text editor and reopen with a different encoding?"
                     )),
-                    detail: ( localize(3561, "This will discard any unsaved changes.")),
-                    primaryButton: ( localize(3562, "Discard Changes and Reopen"))
+                    detail: ( localize(3569, "This will discard any unsaved changes.")),
+                    primaryButton: ( localize(3570, "Discard Changes and Reopen"))
                 });
                 if (!confirmed) {
                     return;

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

@@ -151,7 +151,7 @@ let EditorTabsControl = class EditorTabsControl extends Themable {
         this.editorActionsToolbar = this.editorActionsToolbarDisposables.add(this.instantiationService.createInstance(WorkbenchToolBar, container, {
             actionViewItemProvider: (action, options) => this.actionViewItemProvider(action, options),
             orientation: ActionsOrientation.HORIZONTAL,
-            ariaLabel: ( localize(3563, "Editor actions")),
+            ariaLabel: ( localize(3571, "Editor actions")),
             getKeyBinding: action => this.getKeybinding(action),
             actionRunner: this.editorActionsToolbarDisposables.add(( new EditorCommandsContextActionRunner(context))),
             anchorAlignmentProvider: () => AnchorAlignment.RIGHT,
@@ -236,7 +236,7 @@ let EditorTabsControl = class EditorTabsControl extends Themable {
         if (this.groupView.activeEditor) {
             let label = this.groupView.activeEditor.getName();
             if (this.groupsView.partOptions.showTabs === "multiple" && this.groupView.count > 1) {
-                label = ( localize(3564, "{0} (+{1})", label, this.groupView.count - 1));
+                label = ( localize(3572, "{0} (+{1})", label, this.groupView.count - 1));
             }
             applyDragImage(e, element, label);
         }

package/vscode/src/vs/workbench/browser/parts/editor/media/editorgroupview.css

@@ -51,6 +51,11 @@
 		inset 0 var(--vscode-shadow-depth-y);
 }
 
+/* Must appear after positional variants so source-order wins at equal specificity */
+.monaco-workbench.no-shadows.vs .part.editor::after {
+	box-shadow: none;
+}
+
 .monaco-workbench .part.editor > .content .editor-group-container {
 	height: 100%;
 }

package/vscode/src/vs/workbench/browser/parts/editor/media/modalEditorPart.css

@@ -12,17 +12,20 @@
 	left: 0;
 	/* z-index for modal editors: above titlebar (2500) but below quick input (2550) and dialogs (2575) */
 	z-index: 2540;
-	display: flex;
-	justify-content: center;
-	align-items: center;
 	/* Never allow content to escape above the title bar */
 	overflow: hidden;
 	background: rgba(0, 0, 0, 0.3);
 
+	.modal-editor-resizable {
+		position: absolute;
+	}
+
 	.modal-editor-shadow {
 		box-shadow: var(--vscode-shadow-xl);
 		border-radius: 8px;
 		overflow: hidden;
+		width: 100%;
+		height: 100%;
 	}
 }
 
@@ -30,8 +33,8 @@
 .monaco-modal-editor-block .modal-editor-part {
 	display: flex;
 	flex-direction: column;
-	min-width: 400px;
-	min-height: 300px;
+	width: 100%;
+	height: 100%;
 	background-color: var(--vscode-editor-background);
 	border: 1px solid var(--vscode-editorWidget-border, var(--vscode-contrastBorder));
 	border-radius: 8px;
@@ -138,5 +141,13 @@
 				color: inherit;
 			}
 		}
+
+		.modal-editor-action-separator {
+			width: 1px;
+			height: 16px;
+			margin: 0 4px;
+			background-color: var(--vscode-titleBar-activeForeground);
+			opacity: 0.3;
+		}
 	}
 }

package/vscode/src/vs/workbench/browser/parts/editor/modalEditorPart.d.ts

@@ -1,3 +1,4 @@
+import { IDimension } from "../../../../base/browser/dom.js";
 import { Event } from "../../../../base/common/event.js";
 import { DisposableStore } from "../../../../base/common/lifecycle.js";
 import { IConfigurationService } from "../../../../platform/configuration/common/configuration.service.js";
@@ -29,6 +30,10 @@ export declare class ModalEditorPart {
     constructor(editorPartsView: IEditorPartsView, instantiationService: IInstantiationService, editorService: IEditorService, layoutService: IWorkbenchLayoutService, keybindingService: IKeybindingService, hostService: IHostService, configurationService: IConfigurationService);
     create(options?: IModalEditorPartOptions): Promise<ICreateModalEditorPartResult>;
 }
+interface IPosition {
+    left: number;
+    top: number;
+}
 declare class ModalEditorPartImpl extends EditorPart implements IModalEditorPart {
     readonly modalElement: HTMLElement;
     private static COUNTER;
@@ -36,28 +41,37 @@ declare class ModalEditorPartImpl extends EditorPart implements IModalEditorPart
     readonly onWillClose: Event<void>;
     private readonly _onDidChangeMaximized;
     readonly onDidChangeMaximized: Event<boolean>;
+    private readonly _onDidRequestLayout;
+    readonly onDidRequestLayout: Event<void>;
     private readonly _onDidChangeNavigation;
     readonly onDidChangeNavigation: Event<IModalEditorNavigation | undefined>;
     private _maximized;
     get maximized(): boolean;
+    private _size;
+    get size(): IDimension | undefined;
+    set size(value: IDimension | undefined);
+    private _position;
+    get position(): IPosition | undefined;
+    set position(value: IPosition | undefined);
+    private savedSize;
+    private savedPosition;
     private _navigation;
     get navigation(): IModalEditorNavigation | undefined;
     private readonly optionsDisposable;
     private previousMainWindowActiveElement;
     constructor(windowId: number, editorPartsView: IEditorPartsView, modalElement: HTMLElement, options: IModalEditorPartOptions | undefined, instantiationService: IInstantiationService, themeService: IThemeService, configurationService: IConfigurationService, storageService: IStorageService, layoutService: IWorkbenchLayoutService, hostService: IHostService, contextKeyService: IContextKeyService);
     create(parent: HTMLElement, options?: object): void;
-    private enforceModalPartOptions;
-    notifyActiveEditorChanged(): void;
+    enforceModalPartOptions(): void;
     updateOptions(options?: IModalEditorPartOptions): void;
     toggleMaximized(): void;
+    handleHeaderDoubleClick(): void;
     protected handleContextKeys(): void;
     removeGroup(group: number | IEditorGroupView, preserveFocus?: boolean): void;
     private doRemoveLastGroup;
     protected saveState(): void;
     close(options?: {
         mergeAllEditorsToMainPart?: boolean;
-    }): boolean;
-    private doClose;
+    }): Promise<boolean>;
     private mergeGroupsToMainPart;
     dispose(): void;
 }