Skip to content

Conversation

@gonfunko
Copy link
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
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

Labels

PR: fix Fixes a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants