Skip to content

Refine the AmplHeader WORKSHOP switcher dropdown (v0.3.1)#6

Merged
juancobo merged 2 commits into
mainfrom
release/v0.3.1
May 31, 2026
Merged

Refine the AmplHeader WORKSHOP switcher dropdown (v0.3.1)#6
juancobo merged 2 commits into
mainfrom
release/v0.3.1

Conversation

@juancobo

Copy link
Copy Markdown
Member

Refines the cross-tool switcher dropdown so it reads cleanly: the current tool is surfaced in a banner above a "switch to" list, on a deeper-plum panel that separates from the band without a shadow (AMPL's design language has no shadows). Spacing is tightened and the descriptor no longer wraps.

  • Adds the accent-deepest panel token.
  • Swaps the kit switcher.heading string for switcher.current / switcher.switchTo (EN and ES).
  • No AmplHeader API change — consumers pinning v0.3.0 upgrade by bumping the ref. Patch release; no database migrations.

juancobo added 2 commits May 30, 2026 17:21
…witch-to list

Separates the panel from the band with a deeper plum surface (no shadow),
tightens spacing, and stops the descriptor wrapping. Adds the accent-deepest
token and the switcher current/switch-to strings (EN and ES).
Copilot AI review requested due to automatic review settings May 31, 2026 00:21
@juancobo juancobo merged commit a5eaecb into main May 31, 2026
2 of 3 checks passed

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

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.

2 participants