Skip to content

feat: proper page titles + move admin monitoring route - #169

Merged
HermanPlay merged 1 commit into
masterfrom
feat/page-titles
Aug 11, 2026
Merged

HermanPlay merged 1 commit into
masterfrom
feat/page-titles

Conversation

@HermanPlay

Copy link
Copy Markdown
Member

Closes #165.

Changes

  • buildDocumentTitle helper (src/lib/title.ts): consistent tab-title pattern {Name} - {Type} · Mini-Maxit
  • Resource titles on detail pages:
    • Task detail → {task title} - Task · Mini-Maxit
    • Contest → {contest name} - Contest · Mini-Maxit
    • Contest task → {task title} - Task · Mini-Maxit
    • Results → {contest name} - Results · Mini-Maxit
    • Profile → {name} {surname} - Profile · Mini-Maxit
    • Submission → {task title} - Submission · Mini-Maxit
  • List pages: {Page} · Mini-Maxit via dashboard layout title map
  • Fixes: /dashboard/tasks lost the suffix (removed bare svelte:head override); admin languages title now resolves correctly
  • Route move: worker monitoring from /dashboard/admin → /dashboard/admin/worker-monitoring; renamed title "Worker Monitoring" + sidebar link

Verification

  • pnpm run build succeeds
  • Deployed locally: /dashboard/admin/worker-monitoring → 200 "Worker Monitoring · Mini-Maxit"; /dashboard/admin → 404; languages → "Language Management · Mini-Maxit"

…toring route

- buildDocumentTitle helper: '{Name} - {Type} · Mini-Maxit' pattern
- resource titles: task detail (task name), contest (contest name),
  contest task, results, profile (user name), submission (task title)
- list pages: '{Page} · Mini-Maxit' via dashboard layout page-title map
- fix: /dashboard/tasks dropped the Mini-Maxit suffix (removed bare
  svelte:head override); admin languages title now maps correctly
- move worker monitoring from /dashboard/admin to
  /dashboard/admin/worker-monitoring; rename title to Worker Monitoring
- closes #165
@HermanPlay
HermanPlay merged commit d9d91fd into master Aug 11, 2026
1 check passed
@HermanPlay
HermanPlay deleted the feat/page-titles branch August 11, 2026 23:03
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 proper page titles in html heads

1 participant