Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Facilitate differentiation between nearby fountains on map #222

Closed
2 tasks done
ralfhauser opened this issue May 15, 2019 · 1 comment
Closed
2 tasks done

Facilitate differentiation between nearby fountains on map #222

ralfhauser opened this issue May 15, 2019 · 1 comment
Labels
Area-Map Verified The closed issue was verified by a second party and can be archived

Comments

@ralfhauser
Copy link
Member

ralfhauser commented May 15, 2019 •
edited by mmmatthew
Loading

image

With currently available max zoom, it is not possible to select all of those fountains individually (3 out of 4 are really there!)
Mostly Drachenbrunnen shows up.

  • 1) Allow to zoom more
  • 2) at this magnification level, the circles should be smaller such that they have less overlap
@ralfhauser ralfhauser changed the title Allow to zoom more 1) Allow to zoom more May 16, 2019
@mmmatthew mmmatthew added 0 - Backlog issues that await planning and implementation Area-Map labels May 23, 2019
@mmmatthew
Copy link
Member

Good feedback. However, please choose a representative issue title for both requests and don't put one request into the title and one request in a comment.

@mmmatthew mmmatthew changed the title 1) Allow to zoom more Facilitate differentiation between nearby fountains on map May 23, 2019
mmmatthew added a commit that referenced this issue May 28, 2019
@mmmatthew
allow to zoom in more and reduce halo size.
ae10118 
for #222
@mmmatthew mmmatthew added 4 - In Review ready to submit a PR for review. and removed 0 - Backlog issues that await planning and implementation labels May 28, 2019
@ralfhauser ralfhauser added Verified The closed issue was verified by a second party and can be archived and removed 4 - In Review ready to submit a PR for review. labels Jun 14, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Area-Map Verified The closed issue was verified by a second party and can be archived
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ralfhauser @mmmatthew