diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-26 11:04:37 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-26 11:04:37 +0100 |
commit | 8c80a217722484f23b28a58dcdf91b051fac375a (patch) | |
tree | 7bf29e053f9597de65daf152fbbac9cd467940c8 | |
parent | 8483fb0f269c819cf0970c25cf81660622f1d763 (diff) | |
parent | 249e22b3250a6e35d53064decb60b67b42a75f42 (diff) |
Merge #9001
9001: minor: explicitly set the focus to false r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
-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 | } |