Skip to content

fix: Improve display of workspace focus rings#9848

Merged
gonfunko merged 6 commits into
v13from
ring-around-the-workspace
May 11, 2026
Merged

fix: Improve display of workspace focus rings#9848
gonfunko merged 6 commits into
v13from
ring-around-the-workspace

Conversation

@gonfunko
Copy link
Copy Markdown
Contributor

The basics

The details

Resolves

Proposed Changes

This PR backports the workspace focus and selection rings from the keyboard-experimentation repo, and adds a global key listener for Tab that makes keyboard navigation active. This means that tabbing to the workspace will immediately display a focus/selection indicator ring.

@gonfunko gonfunko requested a review from a team as a code owner May 11, 2026 17:23
@gonfunko gonfunko requested a review from lizschwab May 11, 2026 17:23
@github-actions github-actions Bot added the PR: fix Fixes a bug label May 11, 2026
@gonfunko gonfunko force-pushed the ring-around-the-workspace branch from ff24e1c to 80f3e89 Compare May 11, 2026 17:42
@gonfunko gonfunko marked this pull request as draft May 11, 2026 18:20
@gonfunko gonfunko marked this pull request as ready for review May 11, 2026 19:28
@gonfunko gonfunko merged commit 4116083 into v13 May 11, 2026
4 checks passed
@gonfunko gonfunko deleted the ring-around-the-workspace branch May 11, 2026 21:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: fix Fixes a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants