fix: Fix bug that caused the focus manager to attempt to focus unfocusable elements. by gonfunko · Pull Request #9117 · RaspberryPiFoundation/blockly

@gonfunko

@gonfunko

rachel-fenichel

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense to me and I'm okay with it, but I'm tagging @BenHenning to take a look when he's back in case it points at a different change he wants to make as a follow-up.

rachel-fenichel