diff options
-rw-r--r-- | editors/code/src/run.ts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editors/code/src/run.ts b/editors/code/src/run.ts index 138e3f686..d0be84068 100644 --- a/editors/code/src/run.ts +++ b/editors/code/src/run.ts | |||
@@ -142,7 +142,11 @@ export async function createTask(runnable: ra.Runnable, config: Config): Promise | |||
142 | // eslint-disable-next-line @typescript-eslint/no-unnecessary-type-assertion | 142 | // eslint-disable-next-line @typescript-eslint/no-unnecessary-type-assertion |
143 | const target = vscode.workspace.workspaceFolders![0]; // safe, see main activate() | 143 | const target = vscode.workspace.workspaceFolders![0]; // safe, see main activate() |
144 | const cargoTask = await tasks.buildCargoTask(target, definition, runnable.label, args, config.cargoRunner, true); | 144 | const cargoTask = await tasks.buildCargoTask(target, definition, runnable.label, args, config.cargoRunner, true); |
145 | |||
145 | cargoTask.presentationOptions.clear = true; | 146 | cargoTask.presentationOptions.clear = true; |
147 | // Sadly, this doesn't prevent focus stealing if the terminal is currently | ||
148 | // hidden, and will become revealed due to task exucution. | ||
149 | cargoTask.presentationOptions.focus = false; | ||
146 | 150 | ||
147 | return cargoTask; | 151 | return cargoTask; |
148 | } | 152 | } |