Skip to content

Document map preset filter feature#170

Merged
denniskuijs merged 3 commits into
mainfrom
document/map-preset-filter
Jun 26, 2026
Merged

Document map preset filter feature#170
denniskuijs merged 3 commits into
mainfrom
document/map-preset-filter

Conversation

@Ekhorn

@Ekhorn Ekhorn commented Jun 23, 2026

Copy link
Copy Markdown
Contributor

Changes

  • Adds example and short description of the preset filters to "appearance page" documentation page
  • Adjusts the language used for the geocoding codeblocks to javascript for better highlighting.

Notes

I tried to use js-templates for the codeblocks but that didn't seem to work. Might need to update prism.js for that.

@Ekhorn Ekhorn self-assigned this Jun 23, 2026
@Ekhorn Ekhorn requested review from a team and Miggets7 and removed request for Miggets7 June 23, 2026 15:57
Comment thread docs/user-guide/manager-ui/appearance.md
@wborn

wborn commented Jun 24, 2026

Copy link
Copy Markdown
Member

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Hooray!

Reviewed commit: 8c920176b8

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@denniskuijs denniskuijs enabled auto-merge (squash) June 26, 2026 11:37
@denniskuijs denniskuijs merged commit 7605cb3 into main Jun 26, 2026
2 checks passed
@wborn wborn deleted the document/map-preset-filter branch June 26, 2026 12:52
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.

3 participants