[DRAFT - DO NOT MERGE] Multiple projects prototype#1245

microbit-robert wants to merge 5 commits into

mainmicrobit-foundation/python-editor-v3:mainfrom

multiple-projects-prototypemicrobit-foundation/python-editor-v3:multiple-projects-prototypeCopy head branch name to clipboard