Skip to content

Polish SQL studio toolbar and panel padding - #2622

Merged
SpicyPete merged 1 commit into
masterfrom
sql/minor-polish
Sep 2, 2026
Merged

Polish SQL studio toolbar and panel padding#2622
SpicyPete merged 1 commit into
masterfrom
sql/minor-polish

Conversation

@SpicyPete

@SpicyPete SpicyPete commented Aug 28, 2026

Copy link
Copy Markdown
Contributor

Two small visual fixes on the SQL studio page.

  • Run button shortcut hint — the two boxed Kbd chips read as hollow boxes on the primary fill (that chrome is meant for on-surface use). Now a single quiet inline ⌘↵ / Ctrl+↵, still real text so the button's accessible name is unchanged.
  • Panel top padding — the boxed card's pt-3 pushed the catalog sidebar and query tab strip down off the card's top border. Removed, matching expanded mode, which never had it.

screenshots

Screenshot 2026-08-28 at 3 57 07 PM Screenshot 2026-08-28 at 3 57 20 PM

Replace the Run button's two boxed Kbd chips with a single quiet inline
hint — the registry chip's fill and border are meant for on-surface use
and read as hollow boxes on the primary button.

Drop the boxed card's pt-3, which offset the catalog sidebar and query
tab strip from the card's top border; expanded mode never had it.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@SpicyPete
SpicyPete requested review from a team, c-julin, eblairmckee, graham-rp and yougotashovel and removed request for a team August 28, 2026 22:56
@github-actions

Copy link
Copy Markdown
Contributor

Clean — no registry drift, off-token colours, or ad-hoc classes

App: frontend · Scope: diff vs origin/master · Files: 2

Count
⚠️ Outdated registry components 0
🛠 Locally-modified components 0
❓ Unknown to registry 0
🎨 Off-token palette colours 0
🔢 Ad-hoc utility classes 0

Generated by lookout audit-changes.

@SpicyPete SpicyPete self-assigned this Aug 28, 2026
@SpicyPete
SpicyPete enabled auto-merge (squash) August 31, 2026 16:43
@SpicyPete
SpicyPete merged commit 9fc35c9 into master Sep 2, 2026
17 checks passed
@SpicyPete
SpicyPete deleted the sql/minor-polish branch September 2, 2026 10:14
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