Skip to content

Conversation

@Ekhorn
Copy link
Contributor

@Ekhorn Ekhorn commented Nov 26, 2025

No description provided.

@Ekhorn Ekhorn self-assigned this Nov 26, 2025
@Ekhorn Ekhorn added the Documentation Improvements or additions to documentation label Nov 26, 2025
@Ekhorn Ekhorn requested a review from a team November 26, 2025 17:34
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR reorganizes Manager UI configuration documentation by consolidating it from the deployment guide into the Manager UI appearance page, and adds new documentation for clustering and legend configuration features.

Key Changes

  • Added comprehensive clustering configuration documentation explaining performance optimization settings
  • Added legend configuration documentation for controlling asset type visibility on maps
  • Moved all Manager UI configuration examples from deploying/configuring-the-manager-ui.md to manager-ui/appearance.md to consolidate related documentation

Reviewed changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated 6 comments.

File Description
docs/user-guide/manager-ui/appearance.md Added new "Configuring the Manager UI" section with complete config examples for realms, assets, rules, and map settings including new clustering and legend docs
docs/user-guide/deploying/configuring-the-manager-ui.md Removed redundant configuration examples and added reference link to the appearance page for consolidated documentation

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@Ekhorn Ekhorn requested a review from wborn November 27, 2025 14:17
Co-authored-by: Wouter Born <github@maindrain.net>
@Ekhorn Ekhorn requested a review from wborn November 27, 2025 14:48
Copy link
Member

@wborn wborn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@wborn wborn merged commit 3adca67 into main Nov 28, 2025
2 checks passed
@wborn wborn deleted the clustering branch November 28, 2025 14:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants