diff options
| author | sestinj <sestinj@gmail.com> | 2023-07-15 16:25:51 -0700 |
|---|---|---|
| committer | sestinj <sestinj@gmail.com> | 2023-07-15 16:25:51 -0700 |
| commit | 89bc7de85fdf1c8a4bbc35c29ef92e7a1044110a (patch) | |
| tree | 5dd4f53214666aa34c85b3de230ef44da34a2020 /extension/src/diffs.ts | |
| parent | fd6e0c592037d94453dfea6cd6aa73f7d0cb80b2 (diff) | |
| download | sncontinue-89bc7de85fdf1c8a4bbc35c29ef92e7a1044110a.tar.gz sncontinue-89bc7de85fdf1c8a4bbc35c29ef92e7a1044110a.tar.bz2 sncontinue-89bc7de85fdf1c8a4bbc35c29ef92e7a1044110a.zip | |
Reliably show error messages when environmentSetup fails
Diffstat (limited to 'extension/src/diffs.ts')
| -rw-r--r-- | extension/src/diffs.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/extension/src/diffs.ts b/extension/src/diffs.ts index 19004dfb..2860258d 100644 --- a/extension/src/diffs.ts +++ b/extension/src/diffs.ts @@ -149,6 +149,11 @@ class DiffManager { this.diffs.set(newFilepath, diffInfo); } + vscode.commands.executeCommand( + "workbench.action.files.revert", + vscode.Uri.file(newFilepath) + ); + return newFilepath; } |