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

Close plugin menu after a plugin has been added #60

Merged
merged 1 commit into from
May 11, 2020

Conversation

Sarath18
Copy link
Contributor

Reference to issue #37

@Sarath18 Sarath18 requested a review from chapulina as a code owner May 10, 2020 13:14
Signed-off-by: Sarathkrishnan Ramesh <sarathkrishnan99@gmail.com>
@chapulina chapulina added the 🔮 dome Ignition Dome label May 11, 2020
@chapulina chapulina self-assigned this May 11, 2020
Copy link
Contributor

@chapulina chapulina left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@chapulina chapulina merged commit 2a947bc into gazebosim:master May 11, 2020
@Sarath18 Sarath18 deleted the feature_plugin_menu branch May 12, 2020 07:53
chapulina pushed a commit that referenced this pull request Jun 4, 2020
Signed-off-by: Sarathkrishnan Ramesh <sarathkrishnan99@gmail.com>
@chapulina chapulina mentioned this pull request Jun 4, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🔮 dome Ignition Dome
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants