Skip to content

Add settings button to map panel#4641

Merged
bramkragten merged 1 commit into
devfrom
settings-map
Jan 29, 2020
Merged

Add settings button to map panel#4641
bramkragten merged 1 commit into
devfrom
settings-map

Conversation

@bramkragten
Copy link
Copy Markdown
Member

Closes #4615

@bramkragten bramkragten merged commit 4e8bf43 into dev Jan 29, 2020
@delete-merged-branch delete-merged-branch Bot deleted the settings-map branch January 29, 2020 18:04
@bramkragten bramkragten mentioned this pull request Jan 29, 2020
@lock lock Bot locked and limited conversation to collaborators Jan 30, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add link to zone editor from maps panel

2 participants