Skip to content

docs: refine live playground editor chrome#97

Merged
wyf027 merged 3 commits into
mainfrom
codex/live-editor-toolbar-2026-07-08
Jul 8, 2026
Merged

docs: refine live playground editor chrome#97
wyf027 merged 3 commits into
mainfrom
codex/live-editor-toolbar-2026-07-08

Conversation

@wyf027

@wyf027 wyf027 commented Jul 8, 2026

Copy link
Copy Markdown
Owner

Summary

  • Refine the LivePlayground code editor toolbar with a clearer Code title and language pill, closer to mature component docs code panels.
  • Compose the docs playground shell with Nova UI Flex, Tag, and Text instead of raw React div/span elements where practical.
  • Polish editor toolbar, gutter, and language badge styles while keeping the existing live preview/editor behavior.

Validation

  • GitHub Actions CI run 28912833852 passed for commit 566a6f0d603c78354bf458e833a2961e7810fb1d.
  • CI quality job passed: Install, Lint UI, Typecheck UI, Test UI, Build UI, Build docs.
  • Local screenshot capture and local npm run build could not be executed because the local shell runner failed to create a process in this Codex environment.

@wyf027 wyf027 merged commit c849dae into main Jul 8, 2026
1 check passed
@wyf027 wyf027 deleted the codex/live-editor-toolbar-2026-07-08 branch July 8, 2026 03:18
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.

1 participant