daohualiuxiang
/
vscode
mirror of https://github.com/microsoft/vscode.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

tiny tweak and API-todo

joh/tabInput
Johannes 2022-03-15 09:15:07 +01:00
parent 79d9bb8754
commit 9fbc861fa4
No known key found for this signature in database
GPG Key ID: 6DEF802A22264FCA
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/vscode-dts/vscode.proposed.tabs.d.ts vendored
View File

@ -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<void>;
/**
* 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<void>;
}
@ -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<TabGroup | undefined>;
}
interface TabGroup {
export interface TabGroup {
/**
* Whether or not the group is currently active
*/