fix: Prevent loss of focus when deleting a workspace comment. by gonfunko · Pull Request #9200 · RaspberryPiFoundation/blockly

Skip to content

Navigation Menu

Sign in

Appearance settings

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Conversation

@gonfunko

Copy link Copy Markdown

Contributor

@gonfunko gonfunko commented

Jul 2, 2025

The basics

The details

Resolves

This PR fixes a bug that could cause focus to be lost in keyboard navigation mode when deleting a workspace comment via its comment bar button.

@gonfunko gonfunko requested a review from a team as a code owner

July 2, 2025 22:24

@gonfunko gonfunko requested a review from BenHenning

July 2, 2025 22:24

@github-actions github-actions bot added the PR: fix

Fixes a bug

label

Jul 2, 2025

@microbit-matt-hillsdon

Copy link Copy Markdown

Collaborator

Just a quick comment to say that it would be great to get this one in.

@gonfunko gonfunko merged commit fc9164d into develop

Jul 8, 2025

13 checks passed

@gonfunko gonfunko deleted the comment-delete-focus branch

July 8, 2025 20:50

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@BenHenning BenHenning BenHenning approved these changes

Assignees

@BenHenning BenHenning

Labels

PR: fix

Fixes a bug

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@gonfunko @microbit-matt-hillsdon @BenHenning