fix: Fix bug that could cause focus to be lost when deleting a block#9779

gonfunko merged 1 commit into

v13RaspberryPiFoundation/blockly:v13from

delete-focusRaspberryPiFoundation/blockly:delete-focusCopy head branch name to clipboard