mrva/vscode-codeql
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Fix numbering in comment

Browse Source
This commit is contained in:
Koen Vlaswinkel
2024-04-08 13:58:03 +02:00
parent 5fbd912abd
commit 6146d7d78a
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
extensions/ql-vscode/src/model-editor/extensions-workspace-folder.ts
View File

@@ -73,13 +73,13 @@ function findCommonAncestor(uris: Uri[]): Uri | undefined {
* *
* The heuristic is as follows: * The heuristic is as follows:
* 1. If there is a workspace file (`<basename>.code-workspace`), use the directory containing that file * 1. If there is a workspace file (`<basename>.code-workspace`), use the directory containing that file
* 1. If there is only 1 workspace folder, use that folder= * 2. If there is only 1 workspace folder, use that folder
* 3. If there is a common root directory for all workspace folders, use that directory * 3. If there is a common root directory for all workspace folders, use that directory
* - Workspace folders in the system temp directory are ignored * - Workspace folders in the system temp directory are ignored
* - If the common root directory is the root of the filesystem, then it's not used * - If the common root directory is the root of the filesystem, then it's not used
* 5. If there is a .git directory in any workspace folder, use the directory containing that .git directory * 4. If there is a .git directory in any workspace folder, use the directory containing that .git directory
* for which the .git directory is closest to a workspace folder * for which the .git directory is closest to a workspace folder
* 6. If none of the above apply, return `undefined` * 5. If none of the above apply, return `undefined`
*/ */
export async function getRootWorkspaceDirectory(): Promise<Uri | undefined> { export async function getRootWorkspaceDirectory(): Promise<Uri | undefined> {
// If there is a valid workspace file, just use its directory as the directory for the extensions // If there is a valid workspace file, just use its directory as the directory for the extensions