New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update dashboard to design v122 (Part 1) #9896
base: develop
Are you sure you want to change the base?
Conversation
Lots more refactors still need to be done so that both backends are always present
I guess I'll avoid stacking the move to tabs on top of this PR, as this is a big PR so there may be a lot of changes needed. |
weird, i seem to be able to reproduce on develop. seems like it might be a regression |
ah. i guess we should store the "currently open project" immediately when the user clicks play, rather than after it actually opens. it's late though so probably won't be fixed today (and possibly will fix on the tabs PR instead.) |
@somebody1234 could you please rebase onto the latest changes so I can review the PR? |
@MrFlashAccount latest changes pulled. |
Pull Request Description
Close Update the Dashboard to Newest Design #9886
Incidental changes
Important Notes
None
Code review tips
Testing instructions
Screencasts
dashboard-122.mp4
Checklist
Please ensure that the following checklist has been satisfied before submitting the PR:
The documentation has been updated, if necessary.Scala,
Java,
TypeScript,
and
Rust
style guides. In case you are using a language not listed above, follow the Rust style guide.
Unit tests have been written where possible.