Fix handling of checkbox values in developer tools#2684

mikeharv merged 1 commit intoRaspberryPiFoundation:mainRaspberryPiFoundation/blockly-samples:mainfrom

viliml:patch-checkboxviliml/blockly-samples:patch-checkboxCopy head branch name to clipboard