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

Improve mission name usage experience #590

Merged

Conversation

rafaellehmkuhl
Copy link
Member

This patch aims to make it easier and more clear to the user that the mission name can be set.

image
  • Use random mission name with edit icon by default
  • Adds edit hovering animation
  • Resets mission name on every boot
  • Allow restoring last mission name

Fix #586

Otherwise, the alerter goes right when the mission name grows.
@rafaellehmkuhl rafaellehmkuhl changed the title Allow setting mission name Improve mission name usage experience Nov 24, 2023
@patrickelectric patrickelectric merged commit 54069f6 into bluerobotics:master Nov 27, 2023
7 checks passed
@rafaellehmkuhl rafaellehmkuhl deleted the allow-setting-mission-name branch November 27, 2023 23:10
@ES-Alexander ES-Alexander added the docs-needed Change needs to be documented label Nov 29, 2023
ES-Alexander added a commit to ES-Alexander/ardusub-zola that referenced this pull request Dec 12, 2023
ES-Alexander added a commit to ES-Alexander/ardusub-zola that referenced this pull request Dec 12, 2023
ES-Alexander added a commit to ES-Alexander/ardusub-zola that referenced this pull request Dec 12, 2023
ES-Alexander added a commit to ES-Alexander/ardusub-zola that referenced this pull request Dec 13, 2023
ES-Alexander added a commit to bluerobotics/ardusub-zola that referenced this pull request Dec 13, 2023
ES-Alexander added a commit to bluerobotics/ardusub-zola that referenced this pull request Dec 13, 2023
ES-Alexander added a commit to bluerobotics/ardusub-zola that referenced this pull request Dec 13, 2023
@ES-Alexander ES-Alexander added docs-complete Change documentation has been completed and removed docs-needed Change needs to be documented labels Dec 14, 2023
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.

It's very unclear how to set mission name
3 participants