-
Notifications
You must be signed in to change notification settings - Fork 994
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
Update Edit.Circle.js #1053
base: develop
Are you sure you want to change the base?
Update Edit.Circle.js #1053
Conversation
fixed circle edit bug
Is this PR going to be merged in? It looks like it was approved -- I (and other people) am having issues with trying to edit the size of the circle and I think this should fix the bug.. |
Sorry, did not check on this one lately, but can’t merge as review is from a person with write access is missing. I switched to geoman-io lately… |
could it be fixed soon? it still doesn't work |
Tell me, is there any progress on this task? |
Actually the same fix plus one extra is present in #977 |
As the PR doesn't seem to be merged soon, I'll share simple workaround for this problem. The solution is basically the same as for #1005: (window as any).radius = undefined; JavaScript: window.radius = undefined; |
fixed circle edit bug