Pr05/migrate user redux final#20

clairep94 wants to merge 2 commits intopr05/migrate_userPreferences_redux_finalclairep94/p5.js-web-editor:pr05/migrate_userPreferences_redux_finalfrom

pr05/migrate_user_redux_finalclairep94/p5.js-web-editor:pr05/migrate_user_redux_finalCopy head branch name to clipboard