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

Extend shapes gui plugin width to include the ellipsoid button (backport #2699) #2701

Merged
merged 1 commit into from
Dec 13, 2024

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Dec 13, 2024

🦟 Bug fix

Summary

The shapes gui plugin in gui config was not wide enough to show the ellipsoid tool button. So updated the gui config to reveal the button.

Before:

shapes_gui_width_before

After:

shapes_gui_width

Checklist

  • Signed all commits for DCO
  • Added tests
  • Updated documentation (as needed)
  • Updated migration guide (as needed)
  • Consider updating Python bindings (if the library has them)
  • codecheck passed (See contributing)
  • All tests passed (See test coverage)
  • While waiting for a review on your PR, please help review another open pull request to support the maintainers

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by messages.


This is an automatic backport of pull request #2699 done by [Mergify](https://mergify.com).

@mergify mergify bot requested a review from jennuine as a code owner December 13, 2024 15:41
@github-actions github-actions bot added the 🎵 harmonic Gazebo Harmonic label Dec 13, 2024
@iche033 iche033 merged commit 779b009 into gz-sim8 Dec 13, 2024
10 checks passed
@iche033 iche033 deleted the mergify/bp/gz-sim8/pr-2699 branch December 13, 2024 20:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🎵 harmonic Gazebo Harmonic
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant