Merge pull request rust-lang#399 from SkyZH/patch-1

Use "Dedicated" instead of "New" panel when building tasks
Xanewok · Aug 24, 2018 · 4cc70af · 4cc70af
2 parents f6ed71b + 78d5a17
commit 4cc70af
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tasks.ts b/src/tasks.ts
@@ -186,7 +186,7 @@ export function runCommand(folder: WorkspaceFolder, cmd: Cmd): Thenable<TaskExec
         group: TaskGroup.Build,
         presentationOptions: {
             reveal: TaskRevealKind.Always,
-            panel: TaskPanelKind.New,
+            panel: TaskPanelKind.Dedicated,
         },
     };
     const task = createTask(config, folder);