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

Fully integrate mini-widgets into the edit-menu architecture #489

Conversation

rafaellehmkuhl
Copy link
Member

@rafaellehmkuhl rafaellehmkuhl commented Sep 19, 2023

Screen.Recording.2023-09-20.at.15.02.01.mp4

Fix #476

@rafaellehmkuhl rafaellehmkuhl force-pushed the fully-integrate-mini-widgets branch from 6a37828 to 1b57691 Compare September 19, 2023 20:22
@rafaellehmkuhl rafaellehmkuhl force-pushed the fully-integrate-mini-widgets branch from 1b57691 to 0932bc0 Compare September 20, 2023 17:45
@rafaellehmkuhl rafaellehmkuhl force-pushed the fully-integrate-mini-widgets branch from 0932bc0 to 6dac9b6 Compare September 20, 2023 17:48
@rafaellehmkuhl rafaellehmkuhl marked this pull request as ready for review September 20, 2023 17:49
@patrickelectric patrickelectric merged commit 213d34c into bluerobotics:master Sep 26, 2023
4 checks passed
@rafaellehmkuhl rafaellehmkuhl deleted the fully-integrate-mini-widgets branch September 26, 2023 19:43
@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
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Use the same mechanism we have in regular widgets for editing mini-widgets
3 participants