Devtools conflict with theme3#2148

WorldLanguages merged 2 commits intoScratchAddons:masterScratchAddons/ScratchAddons:masterfrom

TheColaber:devtools-bugfixTheColaber/ScratchAddons:devtools-bugfixCopy head branch name to clipboard