Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/util.ts')
-rw-r--r--editors/code/src/util.ts13
1 files changed, 13 insertions, 0 deletions
diff --git a/editors/code/src/util.ts b/editors/code/src/util.ts
index 922fbcbcf3..b6b779e266 100644
--- a/editors/code/src/util.ts
+++ b/editors/code/src/util.ts
@@ -112,6 +112,19 @@ export function isRustEditor(editor: vscode.TextEditor): editor is RustEditor {
return isRustDocument(editor.document);
}
+export function isDocumentInWorkspace(document: RustDocument): boolean {
+ const workspaceFolders = vscode.workspace.workspaceFolders;
+ if (!workspaceFolders) {
+ return false;
+ }
+ for (const folder of workspaceFolders) {
+ if (document.uri.fsPath.startsWith(folder.uri.fsPath)) {
+ return true;
+ }
+ }
+ return false;
+}
+
export function isValidExecutable(path: string): boolean {
log.debug("Checking availability of a binary at", path);