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

3 participants