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.ts | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/editors/code/src/util.ts b/editors/code/src/util.ts index 0196b37b8b..b6b779e266 100644 --- a/editors/code/src/util.ts +++ b/editors/code/src/util.ts @@ -125,11 +125,6 @@ export function isDocumentInWorkspace(document: RustDocument): boolean { return false; } -export async function closeDocument(document: RustDocument) { - await vscode.window.showTextDocument(document, { preview: true, preserveFocus: false }); - await vscode.commands.executeCommand("workbench.action.closeActiveEditor"); -} - export function isValidExecutable(path: string): boolean { log.debug("Checking availability of a binary at", path); |