File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ const openFiles = async (files: string[]) => {
88 }
99 for ( const filePath of files ) {
1010 try {
11- const workspaceFolders : vscode . WorkspaceFolder [ ] | undefined = vscode . workspace . workspaceFolders
11+ const workspaceFolders : readonly vscode . WorkspaceFolder [ ] | undefined = vscode . workspace . workspaceFolders
1212 if ( ! workspaceFolders || ! workspaceFolders . length ) {
1313 throw new Error ( 'No workspace directory. Open a workspace directory and try again' )
1414 }
Original file line number Diff line number Diff line change @@ -22,7 +22,7 @@ export const checkWorkspaceEmpty = async () => {
2222
2323// capture the workspace root to use the users dirname in processes
2424export const getWorkspaceRoot = ( ) : string => {
25- const workspaceRoots : vscode . WorkspaceFolder [ ] | undefined = vscode . workspace . workspaceFolders
25+ const workspaceRoots : readonly vscode . WorkspaceFolder [ ] | undefined = vscode . workspace . workspaceFolders
2626 if ( ! workspaceRoots || ! workspaceRoots . length ) {
2727 // no workspace root
2828 return ''
You can’t perform that action at this time.
0 commit comments