Bulk edit waypoint proximities

Issue #412 resolved
kiozen created an issue

It would be nice to have a tool to assign a proximity radius to several selected waypoints.