Skip to content

Iterate map controls#257

Merged
awesomephant merged 7 commits into
mainfrom
fix-255
Nov 26, 2025
Merged

Iterate map controls#257
awesomephant merged 7 commits into
mainfrom
fix-255

Conversation

@awesomephant
Copy link
Copy Markdown
Collaborator

@awesomephant awesomephant commented Nov 26, 2025

Closes #255
Closes #256

@awesomephant awesomephant linked an issue Nov 26, 2025 that may be closed by this pull request
@awesomephant awesomephant merged commit 87e7216 into main Nov 26, 2025
1 check passed
@awesomephant awesomephant deleted the fix-255 branch November 27, 2025 08:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Map controls: Geocoder input glitch Map controls: Harder-edged UI

1 participant