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

Map view: make more space for crumbs #146

Merged
merged 1 commit into from
Oct 17, 2023
Merged

Map view: make more space for crumbs #146

merged 1 commit into from
Oct 17, 2023

Conversation

JakobMiksch
Copy link
Contributor

@JakobMiksch JakobMiksch commented Oct 15, 2023 •
edited
Loading

  • makes more space at the bottom of the crumbs by moving the map some pixels down
  • can be seen at the JSON button

before:
image

after:
image

@dr-jts dr-jts added the enhancement New feature or request label Oct 17, 2023
@dr-jts dr-jts merged commit 14e7cca into CrunchyData:master Oct 17, 2023
3 checks passed
@JakobMiksch JakobMiksch deleted the fix-map-title branch October 18, 2023 07:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@JakobMiksch @dr-jts