Skip to content

DefaultPlug: add settings for geo uri handler#255

Merged
danirabbit merged 1 commit into
mainfrom
danirabbit/defaults-maps
Aug 15, 2025
Merged

DefaultPlug: add settings for geo uri handler#255
danirabbit merged 1 commit into
mainfrom
danirabbit/defaults-maps

Conversation

@danirabbit
Copy link
Copy Markdown
Member

Fixes #253

Make sure you can choose your default geo URI handler

@danirabbit danirabbit requested a review from a team August 13, 2025 20:28
@danirabbit danirabbit moved this to Needs review in OS 8.1.0 Aug 13, 2025
@danirabbit danirabbit merged commit d0abc27 into main Aug 15, 2025
4 checks passed
@danirabbit danirabbit deleted the danirabbit/defaults-maps branch August 15, 2025 01:14
@github-project-automation github-project-automation Bot moved this from Needs review to Done in OS 8.1.0 Aug 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

Select default handler for Maps

2 participants