-
Notifications
You must be signed in to change notification settings - Fork 316
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
Move to the Tab layout for Dashboard #9918
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
app/ide-desktop/lib/dashboard/src/components/AriaComponents/Button/Button.tsx
Outdated
Show resolved
Hide resolved
I thought that the idea of this PR is to add Tabs on top, but I didn't find a dedicated |
|
yes, |
Pull Request Description
Important Notes
app/gui2
instead of the Dashboard codebase, because that is where the existing Enso font is located.app/gui2
) and cloud.enso.org (inapp/ide-desktop/lib/dashboard
) are merged.Screencast
dashboard-tabs.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.