export type Workspace =
{
- kind: 'Workspace Folder',
- folder: vscode.Uri,
+ kind: 'Workspace Folder';
+ folder: vscode.Uri;
}
| {
- kind: 'Detached files',
- files: vscode.TextDocument[],
+ kind: 'Detached Files';
+ files: vscode.TextDocument[];
};
export class Ctx {