Skip to content

Improve handling of maps#35

Merged
drdv merged 5 commits intomainfrom
dev-maps
Jan 26, 2026
Merged

Improve handling of maps#35
drdv merged 5 commits intomainfrom
dev-maps

Conversation

@drdv
Copy link
Member

@drdv drdv commented Jan 26, 2026

Resolves #33

I ended-up storing the routes in JSON (much more convenient and easier to maintains/use).

@drdv drdv force-pushed the dev-maps branch 2 times, most recently from 1e685b3 to 750fe77 Compare January 26, 2026 17:04
drdv added 3 commits January 26, 2026 18:10
For some reason when we use instant navigation maps don't load without page refresh. To
investigate and turn back on.
@drdv
Copy link
Member Author

drdv commented Jan 26, 2026

I had to turn off instant navigation because the maps were not loaded without without page refresh. To continue the investigation in #37.

@drdv drdv merged commit 7e69619 into main Jan 26, 2026
2 checks passed
@drdv drdv deleted the dev-maps branch January 26, 2026 17:35
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.

Improve handling of maps

1 participant