From 9fbc861fa41a977c51fbaa1d9395fac64cf96430 Mon Sep 17 00:00:00 2001 From: Johannes Date: Tue, 15 Mar 2022 09:15:07 +0100 Subject: [PATCH] tiny tweak and API-todo --- src/vscode-dts/vscode.proposed.tabs.d.ts | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/vscode-dts/vscode.proposed.tabs.d.ts b/src/vscode-dts/vscode.proposed.tabs.d.ts index 1affd362f79..38c81fbe4a4 100644 --- a/src/vscode-dts/vscode.proposed.tabs.d.ts +++ b/src/vscode-dts/vscode.proposed.tabs.d.ts @@ -78,12 +78,14 @@ declare module 'vscode' { * @param index The index to move the tab to * @param viewColumn The column to move the tab into */ + // TODO@API move into TabGroups move(index: number, viewColumn: ViewColumn): Thenable; /** * Closes the tab. This makes the tab object invalid and the tab * should no longer be used for further actions. */ + // TODO@API move into TabGroups close(): Thenable; } @@ -94,7 +96,7 @@ declare module 'vscode' { export const tabGroups: TabGroups; } - interface TabGroups { + export interface TabGroups { /** * All the groups within the group container */ @@ -117,7 +119,7 @@ declare module 'vscode' { onDidChangeActiveTabGroup: Event; } - interface TabGroup { + export interface TabGroup { /** * Whether or not the group is currently active */