Name | Description | Type | Additional information |
---|---|---|---|
LeafletID | globally unique identifier |
None. |
|
Position | integer |
None. |
|
IsInteractiveLeaflet | boolean |
None. |