Implement group closing tabs API

This commit is contained in:
Logan Ramos
2022-04-04 15:01:54 -04:00
parent fb5e446a3d
commit 053084e592
4 changed files with 86 additions and 25 deletions

View File

@@ -677,6 +677,7 @@ export interface MainThreadEditorTabsShape extends IDisposable {
// manage tabs: move, close, rearrange etc
$moveTab(tabId: string, index: number, viewColumn: EditorGroupColumn, preserveFocus?: boolean): void;
$closeTab(tabIds: string[], preserveFocus?: boolean): Promise<boolean>;
$closeGroup(groupIds: number[], preservceFocus?: boolean): Promise<boolean>;
}
export interface IEditorTabGroupDto {