mirror of
https://github.com/microsoft/vscode.git
synced 2026-04-26 03:29:00 +01:00
Clean up types for Tab public api
- prefer using `| undefined` for managed types - Add readonly
This commit is contained in:
@@ -17,10 +17,10 @@ export interface IEditorTab {
|
||||
label: string;
|
||||
viewColumn: ViewColumn;
|
||||
index: number;
|
||||
resource?: vscode.Uri;
|
||||
viewId?: string;
|
||||
resource: vscode.Uri | undefined;
|
||||
viewId: string | undefined;
|
||||
isActive: boolean;
|
||||
additionalResourcesAndViewIds: { resource?: vscode.Uri, viewId?: string }[];
|
||||
additionalResourcesAndViewIds: { resource: vscode.Uri | undefined, viewId: string | undefined }[];
|
||||
move(index: number, viewColumn: ViewColumn): Promise<void>;
|
||||
close(): Promise<void>;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user