Skip to content
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

Re-style edit menu #490

Merged

Conversation

rafaellehmkuhl
Copy link
Member

@rafaellehmkuhl rafaellehmkuhl commented Sep 21, 2023

This is part of the profile-management reintegration.

With this change, the left-side menu gets way less bloated, the widget names don't get overflown, and we open space for the profile-management section.

Before / after:

image

image

To be merged after #489.

@rafaellehmkuhl rafaellehmkuhl changed the title Re style edit menu Re-style edit menu Sep 26, 2023
@patrickelectric patrickelectric merged commit 319310a into bluerobotics:master Sep 27, 2023
4 checks passed
@rafaellehmkuhl rafaellehmkuhl deleted the re-style-edit-menu branch September 27, 2023 14:02
@ES-Alexander ES-Alexander added the docs-needed Change needs to be documented label Oct 27, 2023
@ES-Alexander ES-Alexander added docs-complete Change documentation has been completed and removed docs-needed Change needs to be documented labels Nov 26, 2023
@ES-Alexander
Copy link
Contributor

Relevant to #448

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs-complete Change documentation has been completed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants