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

[core-plugin] fix capture coordinate plugin #803

Closed
wants to merge 1 commit into from

Conversation

slarosa
Copy link
Member

@slarosa slarosa commented Aug 12, 2013

The plugin is not deleted from the vector menu when you unload it from plugin manager and the button
seems not to work properly. This patch should fix.

deletes the plugin from the vector menu when unloaded and
fix the button to show and hide the dock widget
@ghost ghost assigned NathanW2 Aug 15, 2013
@gioman
Copy link
Contributor

gioman commented Aug 26, 2013

So, if not fixed by submitting this patch this is a regression, right? It has a ticket on redmine?

@slarosa
Copy link
Member Author

slarosa commented Aug 27, 2013

1.8 also is affected and I haven't found any ticket on redmine!

@m-kuhn
Copy link
Member

m-kuhn commented Aug 27, 2013

Code looks good and works in a short test.
Can we merge this?

@slarosa
Copy link
Member Author

slarosa commented Aug 27, 2013

ok, I will push it manually....

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.

None yet

4 participants