Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/ctx.ts')
-rw-r--r--editors/code/src/ctx.ts25
1 files changed, 9 insertions, 16 deletions
diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts
index 4e592823b0..60ea769579 100644
--- a/editors/code/src/ctx.ts
+++ b/editors/code/src/ctx.ts
@@ -22,13 +22,6 @@ import {
DependencyId,
} from "./dependencies_provider";
import { execRevealDependency } from "./commands";
-import {
- Dependency,
- DependencyFile,
- RustDependenciesProvider,
- DependencyId,
-} from "./dependencies_provider";
-import { execRevealDependency } from "./commands";
import { PersistentState } from "./persistent_state";
import { bootstrap } from "./bootstrap";
import { ExecOptions } from "child_process";
@@ -40,12 +33,12 @@ import { ExecOptions } from "child_process";
export type Workspace =
| { kind: "Empty" }
| {
- kind: "Workspace Folder";
- }
+ kind: "Workspace Folder";
+}
| {
- kind: "Detached Files";
- files: vscode.TextDocument[];
- };
+ kind: "Detached Files";
+ files: vscode.TextDocument[];
+};
export function fetchWorkspace(): Workspace {
const folders = (vscode.workspace.workspaceFolders || []).filter(
@@ -59,9 +52,9 @@ export function fetchWorkspace(): Workspace {
? rustDocuments.length === 0
? { kind: "Empty" }
: {
- kind: "Detached Files",
- files: rustDocuments,
- }
+ kind: "Detached Files",
+ files: rustDocuments,
+ }
: { kind: "Workspace Folder" };
}
@@ -483,4 +476,4 @@ export interface Disposable {
dispose(): void;
}
-export type Cmd = (...args: any[]) => unknown;
+export type Cmd = (...args: any[]) => unknown; \ No newline at end of file