Pr05/redux user preferences 2#18

clairep94 wants to merge 4 commits intopr05/migrate_user_controller_octclairep94/p5.js-web-editor:pr05/migrate_user_controller_octfrom

pr05/redux_user_preferences_2clairep94/p5.js-web-editor:pr05/redux_user_preferences_2Copy head branch name to clipboard