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

Hotfix/map not draggable after filtering #173

Merged
merged 4 commits into from
Oct 16, 2024
Merged

Hotfix/map not draggable after filtering #173

merged 4 commits into from
Oct 16, 2024

Conversation

doriengr
Copy link
Contributor

⚡ For release

Close #165
Close #164

@doriengr doriengr added the need-reviewer Send notification in Discord label Oct 15, 2024
@doriengr doriengr self-assigned this Oct 15, 2024
choffmann
choffmann approved these changes Oct 15, 2024
View reviewed changes
Copy link
Member

@choffmann choffmann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍 👍

Do you also see the white bar next to the map?

image

@choffmann
Copy link
Member

👍 👍

Do you also see the white bar next to the map?

Before that, the scroll bar was there

image

@doriengr
Copy link
Contributor Author

@choffmann Thats the scrollbar-gutter. What is your preferred setting for it? Docs

@doriengr doriengr merged commit 1d78f72 into release/v1.0.0 Oct 16, 2024
2 checks passed
@doriengr doriengr deleted the hotfix/map-not-draggable-after-filtering branch October 16, 2024 09:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@choffmann choffmann choffmann approved these changes

Assignees

@doriengr doriengr

Labels
need-reviewer Send notification in Discord
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@doriengr @choffmann