Skip to content

fix: Update workspace ARIA label on focus#9841

Open
gonfunko wants to merge 1 commit intov13from
changes
Open

fix: Update workspace ARIA label on focus#9841
gonfunko wants to merge 1 commit intov13from
changes

Conversation

@gonfunko
Copy link
Copy Markdown
Contributor

@gonfunko gonfunko commented May 7, 2026

The basics

The details

Resolves

Fixes #9835

Proposed Changes

This PR updates the workspace's ARIA label when it gains focus, instead of a change listener. This avoids unneeded updates and improves performance. Mutator and flyout workspaces are excluded, as their labels are set elsewhere.

@gonfunko gonfunko requested a review from a team as a code owner May 7, 2026 21:15
@gonfunko gonfunko requested a review from maribethb May 7, 2026 21:15
@github-actions github-actions Bot added the PR: fix Fixes a bug label May 7, 2026
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