Skip to content

Add RHC DotBadge #396

Merged
bddjong merged 3 commits intomainfrom
feat/rhc-dot-badge
Apr 16, 2026
Merged

Add RHC DotBadge #396
bddjong merged 3 commits intomainfrom
feat/rhc-dot-badge

Conversation

@TessaViergever
Copy link
Copy Markdown
Contributor

In this PR

  • replace hard coded "dot badge" with RHC React DotBadge

Related issues

Closes #265

@TessaViergever TessaViergever requested a review from bddjong April 10, 2026 13:27
@vercel
Copy link
Copy Markdown

vercel bot commented Apr 10, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
mijn-services Ready Ready Preview Apr 16, 2026 7:47am

Request Review

Copy link
Copy Markdown
Contributor

@bddjong bddjong left a comment

Choose a reason for hiding this comment

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

Zou je de juiste kleur token van de dot badge ook nog aan de den haag theme willen toevoegen? Je kan waarschijnlijk Den Haags bestaande dot badge tokens gebruiken

@TessaViergever
Copy link
Copy Markdown
Contributor Author

Zou je de juiste kleur token van de dot badge ook nog aan de den haag theme willen toevoegen? Je kan waarschijnlijk Den Haags bestaande dot badge tokens gebruiken

@bddjong --denhaag-dot-indicator-background-color: var(--denhaag-color-red-3); werkt hier niet omdat het de RHC dot badge is. Wat wel werkt: --rhc-dot-badge-color: var(--denhaag-color-red-3); dus heb deze gelijk toegevoegd aan DH theme ✅

@bddjong bddjong merged commit 1717bee into main Apr 16, 2026
7 checks passed
@bddjong bddjong deleted the feat/rhc-dot-badge branch April 16, 2026 08:38
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.

Add Dot Badge to Berichten overzicht pagina

2 participants