Polygons

The 'Layers' dropdown includes a Polygons entry that allows to define, update, and select generic "polygons" to be displayed on the map.

Operators have the ability to define and update the polygons list, which is maintained in the backend.

  • Use the + button to add a new polygon.
    A polygon will be initialized at the center of the map to facilitate further editing.

  • Use the edit button to modify or delete a polygon.

Note for operators

These definitions are shared for all users, so please keep this in mind when updating or deleting entries.

Each polygon is defined in terms of a given name and a GeoJSON Feature, whose associated geometry is expected to be either:

As an example, the GeoJSON feature associated to a LineString can be defined as follows:

{
  "type": "Feature",
  "properties": {
    "color": "pink"
  },
  "geometry": {
    "type": "LineString",
    "coordinates": [
      [
        -122.39,
        36.7398
      ],
      [
        -122.2496,
        36.7798
      ],
      [
        -122.2496,
        36.7398
      ],
      [
        -122.39,
        36.7398
      ]
    ]
  }
}

Note

  • The editing itself is performed by adjusting the GeoJSON text directly.
  • Some basic checks are in place, but no strict validation is performed.
  • Settings under the properties section can be used to customize some display attributes.
  • In GeoJSON, the elements of a Position are in the order longitude, then latitude (both using decimal numbers).
  • You may find GeoJSON online editors like the following useful: