Skip to content
This repository was archived by the owner on Nov 18, 2022. It is now read-only.

Use "Dedicated" instead of "New" panel when building tasks #2 #411

Merged
merged 1 commit into from
Aug 26, 2018
Merged

Use "Dedicated" instead of "New" panel when building tasks #2 #411

merged 1 commit into from
Aug 26, 2018

Conversation

skyzh
Copy link
Contributor

@skyzh skyzh commented Aug 26, 2018

Last time in #399 , I only fixed cargo command. Now all tasks are subject to Dedicated panel. Thanks @jens1o for reminding me.

@skyzh
Copy link
Contributor Author

skyzh commented Aug 26, 2018

I've tested this PR on my own machine. This time there should be no problem.

image

@skyzh
Copy link
Contributor Author

skyzh commented Aug 26, 2018

image
Each task occupies its own panel.

@jens1o
Copy link

jens1o commented Aug 26, 2018

awesome!

@Xanewok
Copy link
Member

Xanewok commented Aug 26, 2018

Weird, the build failure seems unrelated; I'll reopen to trigger CI

@Xanewok Xanewok closed this Aug 26, 2018
@Xanewok Xanewok reopened this Aug 26, 2018
@nrc nrc merged commit 763b190 into rust-lang:master Aug 26, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants