diff options
author | Aleksey Kladov <[email protected]> | 2021-05-26 11:04:01 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2021-05-26 11:04:01 +0100 |
commit | 249e22b3250a6e35d53064decb60b67b42a75f42 (patch) | |
tree | efe72acda0021ae816bb0a25e319d755dfcba6e3 /editors | |
parent | b7414fa14a85f4acd37b5bdfdc2a4ab97a072bd2 (diff) |
minor: explicitly set the focus to false
Diffstat (limited to 'editors')
-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 | } |