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

Disable the measure tools when the measure menu is closed #295

Merged
merged 1 commit into from Mar 3, 2015

Conversation

elemoine
Copy link
Contributor

@elemoine elemoine commented Mar 3, 2015

No description provided.

@elemoine elemoine mentioned this pull request Mar 3, 2015
@sbrunner sbrunner added this to the 1 milestone Mar 3, 2015
@pgiraud
Copy link
Contributor

pgiraud commented Mar 3, 2015

Looks good to me.

@elemoine
Copy link
Contributor Author

elemoine commented Mar 3, 2015

@rmichaelis do you agree with this change as well?

@rmichaelis
Copy link
Contributor

Yes of course I agree.
Looks good to me.

elemoine pushed a commit that referenced this pull request Mar 3, 2015
Disable the measure tools when the measure menu is closed
@elemoine elemoine merged commit 518b5a7 into master Mar 3, 2015
@elemoine elemoine deleted the elemoine_measureopen branch March 3, 2015 10:52
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