Skip to content

docs: add --theme launch example to TUI quickstart#2939

Merged
dgageot merged 1 commit into
mainfrom
docs/auto-update
May 31, 2026
Merged

docs: add --theme launch example to TUI quickstart#2939
dgageot merged 1 commit into
mainfrom
docs/auto-update

Conversation

@aheritier
Copy link
Copy Markdown
Contributor

Summary

Adds a missing --theme launch example to the "Launching the TUI" quickstart code block in docs/features/tui/index.md.

The "Applying Themes" section and the CLI reference (docs/features/cli/index.md) both correctly document the --theme flag (added in #2933 and documented in #2936), but the quickstart block that lists other launch-time flags (--app-name, --sidebar, --disable-commands) omitted --theme, leaving the page internally inconsistent.

Documentation changes

File Change
docs/features/tui/index.md Added --theme dracula example to the "Launching the TUI" quickstart code block

Commits

Commit Scope Source PR
79f16572 Add --theme launch example to TUI quickstart #2933

PRs audited

Source PR Title Doc status
#2933 feat: add --theme flag to preselect TUI theme ✅ Gap fixed (this PR)
#2932 docs: document --auth-token flag, OAuth callback security note, and TUI notification UX ✅ Already accurate and complete
#2936 docs: document --theme flag for docker agent run ✅ Already accurate and complete

@aheritier aheritier requested a review from a team as a code owner May 31, 2026 04:04
@aheritier aheritier added the kind/docs Documentation-only changes label May 31, 2026
Copy link
Copy Markdown

@docker-agent docker-agent left a comment

Choose a reason for hiding this comment

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

Assessment: 🟢 APPROVE

This documentation change correctly adds the --theme launch example to the TUI quickstart. The flag name, example value (dracula is a valid built-in theme), comment wording, and placement are all accurate and consistent with the CLI reference and the Theming section. No issues found.

@aheritier aheritier added the area/tui For features/issues/fixes related to the TUI label May 31, 2026
@dgageot dgageot merged commit 8432bf3 into main May 31, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/tui For features/issues/fixes related to the TUI kind/docs Documentation-only changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants